__export ShouldSucceed St State{State} TS{TS vs} bindState foo unState unitState;
instance {PrelBase.Eq TS} = zdfEqTS;
instance __forall [c] => {PrelBase.Eq c} -> {PrelBase.Monad (State c)} = zdfMonadState;
instance {PrelShow.Show TS} = zdfShowTS;
1 bindState :: __forall [c a b] => State c a -> (a -> State c b) -> State c b ;
1 data State c a = State (c -> (a, c)) ;
1 data TS = TS {vs :: PrelBase.Int} ;
1 foo :: PrelBase.Int -> St  PrelBase.Int ;
1 type St a = State TS a ;
1 unState :: __forall [c a] => State c a -> c -> (a, c) ;
1 unitState :: __forall [a c] => a -> State c a ;
1 zdfEqTS :: {PrelBase.Eq TS} ;
1 zdfMonadState :: __forall [c] => {PrelBase.Eq c} -> {PrelBase.Monad (State c)} ;
1 zdfShowTS :: {PrelShow.Show TS} ;