fibonacci is
    (n: 0 | 1) n

    (n: Integer & > 0) do
        fibonacci(n - 1) + fibonacci(n - 2)
    end