[onlycore] different state signatures?

[danwdart]

(m (b, s) -> m (b, s2)) -> StateT s m b -> StateT s2 m b
((b, s) -> (b, s2)) -> State s b -> State s2 b