Init: fib with `case`