1 2 3 4 5 6
module Test where data Fun = MkFun (Fun -> Fun) data LList a = Nill | Conss a (LList a) g :: Fun -> Fun g f = f