ghc/tests/typecheck/should_compile/tc035.stderr

   1 __export ShouldSucceed AnnExpr Expr{Var App} g;
   2 1 data Expr a = Var [PrelBase.Char] |  App (AnnExpr a) (AnnExpr a) ;
   3 1 g :: __forall [a] => (a, Expr a) -> [[PrelBase.Char]] ;
   4 1 type AnnExpr a = (a, Expr a) ;