ghc/tests/typecheck/should_compile/tc097.stderr

   1 ghc: module version changed to 1; reason: no old .hi file
   2 __export ShouldSucceed Monad2{MkMonad2} halfListMonad;
   3 1 data Monad2 m :: (* -> *) = MkMonad2 (__forall [a] => a -> m a) (__forall [b a] => m a -> (a -> m b) -> m b) ;
   4 1 halfListMonad :: (__forall [b a] => [a] -> (a -> [b]) -> [b]) -> Monad2 PrelBase.ZMZN ;