Gabriella439 / Gabriella439/Haskell-MMorph-Library
Weaken hoist constraint
Open
- Dominant language
- Haskell
- Stars
- 53
- Forks
- 24
- PR merge metrics
- No merged PRs in 30d
Description
As discussed in [this SO post](http://stackoverflow.com/q/39928488/1477667), the `Monad m` constraint on `hoist` feels too strong in the face of `hoist id = id`. Cirdec thinks it probably should be `Functor`. I don't know if anything could legitimately use `Applicative`.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.