3 ================================================================================
5 `$d1' :: `{PrelBase.Eval (LList a)}'
7 _/\_ `$x0' -> `PrelBase.void'
8 `MkFun' :: `(Fun -> Fun) -> Fun'
10 \ `$x0' :: `Fun -> Fun'
15 _/\_ `$x0' -> `Nill' {_@_ `$x0'}
16 `Conss' :: `a -> LList a -> LList a'
18 _/\_ `$x0' -> \ `$x1' :: `$x0'
19 `$x1' `$x2' :: `LList $x0'
21 `Conss' {_@_ `$x0' `$x1' `$x2'}
22 `$d2' :: `{PrelBase.Eval Fun}'