Open zenhack opened 6 years ago
I've got a package I'm working on where much of the code is parametrized over both MonadThrow and PrimMonad, but unfortunately CatchT (ST s) (or in general PrimMonad m => CatchT m) isn't an instance of PrimMonad. Thoughts on adding an instance?
MonadThrow
PrimMonad
CatchT (ST s)
PrimMonad m => CatchT m
I've got a package I'm working on where much of the code is parametrized over both
MonadThrow
andPrimMonad
, but unfortunatelyCatchT (ST s)
(or in generalPrimMonad m => CatchT m
) isn't an instance ofPrimMonad
. Thoughts on adding an instance?