Control.Monad.Trans.Lift.StT
type family
StT
(t :: (
*
->
*
) ->
*
->
*
) (a ::
*
) ::
*