5 lines
170 B
Text
5 lines
170 B
Text
data Fib1 = FoldNat
|
|
<
|
|
const (Cons One (Cons One Empty)),
|
|
(uncurry Cons) . ((uncurry Add) . (Head, Head . Tail), id)
|
|
>
|