: fib
    = N
    N 2 =<
    case
        true
        1
    ;;
        _
        N 1- fib N 2 - fib +
    ;case
;

引数のパターンマッチみたいなことしたい