ghc: module version changed to 1; reason: no old .hi file
__export ShouldSucceed Boolean{FF TT} List{Nil Cons} Nat{ZZero Succ} Pair{Mkpair} Tree{Leaf Node} add app before flatten idb idl lEngth nUll neg rEverse sUm swap;
1 add :: Nat -> Nat -> Nat ;
1 app :: __forall [alpha] => List alpha -> List alpha -> List alpha ;
1 before :: List Nat -> List Nat ;
1 data Boolean = FF |  TT ;
1 data List alpha = Nil |  Cons alpha (List alpha) ;
1 data Nat = ZZero |  Succ Nat ;
1 data Pair a b = Mkpair a b ;
1 data Tree t = Leaf t |  Node (Tree t) (Tree t) ;
1 flatten :: __forall [alpha] => Tree alpha -> List alpha ;
1 idb :: Boolean -> Boolean ;
1 idl :: __forall [a] => List a -> List a ;
1 lEngth :: __forall [a] => List a -> Nat ;
1 nUll :: __forall [alpha] => List alpha -> Boolean ;
1 neg :: Boolean -> Boolean ;
1 rEverse :: __forall [alpha] => List alpha -> List alpha ;
1 sUm :: Tree Nat -> Nat ;
1 swap :: __forall [a b] => Pair a b -> Pair b a ;