ghc/tests/typecheck/should_compile/tc097.stderr

   1 ghc: module version changed to 1; reason: no old .hi file
   2 _exports_
   3 ShouldSucceed halfListMonad Monad2(MkMonad2);
   4 _instances_
   5 instance _forall_ [a :: (* -> *)] => {PrelBase.Eval (Monad2 a)} = $dEvalMonad20;
   6 _declarations_
   7 1 $dEvalMonad20 _:_ _forall_ [a :: (* -> *)] => {PrelBase.Eval (Monad2 a)} ;;
   8 1 data Monad2 m :: (* -> *) = MkMonad2 (_forall_ [a] => a -> m a) (_forall_ [a b] => m a -> (a -> m b) -> m b) ;
   9 1 halfListMonad _:_ (_forall_ [a b] => [a] -> (a -> [b]) -> [b]) -> Monad2 PrelBase.[] ;;