A subset of monad transformers can transform any Bind as well.
Instances12BindTrans, …
Representable f => BindTrans (StateT f)Defined in adjunctions-4.4.3 · Control.Monad.Representable.StateMonoid w => BindTrans (WriterT w)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.TransMonoid w => BindTrans (WriterT w)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.TransMonoid w => BindTrans (WriterT w)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.TransBindTrans IdentityTDefined in semigroupoids-6.0.1 · Data.Functor.Bind.TransBindTrans (ReaderT e)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.TransBindTrans (StateT s)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.TransBindTrans (StateT s)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.TransBindTrans (ContT r)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.TransMonoid w => BindTrans (RWST r w s)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.TransMonoid w => BindTrans (RWST r w s)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.TransMonoid w => BindTrans (RWST r w s)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.Trans