Check for Monad constraints in Monad* typeclasses
Open
analysis :alembic:
inspection
nice to have :nail_care:
- Dominant language
- Haskell
- Stars
- 597
- Forks
- 53
- PR merge metrics
- No merged PRs in 30d
Description
If you define a typeclass like `MonadBlah`, it should have `Monad` in its context:
```haskell
class Monad m => MonadBlah m where
```
Contributor guide
Research direction
No files or tests are named. Start by locating the existing analysis for Haskell typeclass declarations and determine how Monad* names and superclass contexts are represented. Done means the analyzer reports Monad* classes that lack Monad in their context, with tests covering the reported case.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- haskell
- Domain
- devtools
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 42/100