我正在使用ReaderT编写这种类型的Monad实例,并通过我试过这样做 deriving (Functor, Applicative, Monad) via (ReaderT (Set HiPermission) IO) Couldn't match representation of type `Set HiPermissio
我试图在一个带有ask约束的do表示法块中调用MonadReader,但是得到了一个关于刚性类型的错误。据我所知,ask是为所有MonadReader定义的吗?bar = do return i
·无法将类型‘m’与‘ReaderT r m0’‘m’相匹配,‘m’是一个刚性类型变量,其类型签名为: bar ::forall r (m ::* -> *)。MonadReader r m => m r在mem.hs:50:8期望类型: m0实际类型: ReaderT r m0