Pre-built tasty trees for checking your lawful class instances with QuickCheck.
Currently includes laws for the following type classes:
- Eq
- Semigroup
- Monoid
- Functor
- Applicative
- Monad
- Identity Monad
- State Monad
- Reader Monad
- Writer Monad
- Error Monad
- Maybe Monad