ghc/tests/typecheck/should_compile/tc093.stderr

   1 __export ShouldSucceed St State{State} TS{TS vs} bindState foo unState unitState;
   2 instance {PrelBase.Eq TS} = zdfEqTS;
   3 instance __forall [c] => {PrelBase.Eq c} -> {PrelBase.Monad (State c)} = zdfMonadState;
   4 instance {PrelShow.Show TS} = zdfShowTS;
   5 1 bindState :: __forall [c a b] => State c a -> (a -> State c b) -> State c b ;
   6 1 data State c a = State (c -> (a, c)) ;
   7 1 data TS = TS {vs :: PrelBase.Int} ;
   8 1 foo :: PrelBase.Int -> St  PrelBase.Int ;
   9 1 type St a = State TS a ;
  10 1 unState :: __forall [c a] => State c a -> c -> (a, c) ;
  11 1 unitState :: __forall [a c] => a -> State c a ;
  12 1 zdfEqTS :: {PrelBase.Eq TS} ;
  13 1 zdfMonadState :: __forall [c] => {PrelBase.Eq c} -> {PrelBase.Monad (State c)} ;
  14 1 zdfShowTS :: {PrelShow.Show TS} ;