ghc/tests/typecheck/should_compile/tc034.stderr

   1 __export ShouldSucceed AList{ANull ANode} IntList g;
   2 1 data AList a = ANull |  ANode a (AList a) ;
   3 1 g :: __forall [t] => {PrelNum.Num t} -> AList PrelBase.Bool -> t ;
   4 1 type IntList = AList PrelBase.Int ;