module Main

data Foo = FInt Int
         | FFN (Foo -> Foo)

total
bar : Foo
bar = FFN (\x => x)