racket-algebraic
racket-algebraic copied to clipboard
check class properties for base instances
The properties documented for e.g. Monad and Applicative haven't been tested yet. There may be a typo or two.