Closed rhendric closed 7 months ago
Search for MonadTrans, and you'll see this:
MonadTrans
But the kind of t should be (Type -> Type) -> Type -> Type.
t
(Type -> Type) -> Type -> Type
Ah, this is a duplicate of #388.
Search for
MonadTrans
, and you'll see this:But the kind of
t
should be(Type -> Type) -> Type -> Type
.