Gabriella439 / Gabriella439/Haskell-MMorph-Library
MMonad expectations
Open
- Dominant language
- Haskell
- Stars
- 53
- Forks
- 24
- PR merge metrics
- No merged PRs in 30d
Description
Is the argument to `embed` expected to be a monad morphism? I'm *guessing* so? I believe that having only a `Monad n` constraint, and not a `Monad m` one, makes it impossible to write sensible instances for reflection-without-remorse-style logic monads without that restriction.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.