definition module fib_eqI_b

fib :: Int -> Int