Control.Monad.Trans.Lift.StT

type family StT (t :: (* -> *) -> * -> *) (a :: *) :: *