Type classes.
Documentation and correct types for the Maybe monad.
Better short description of Maybe[a]
Uses the correct captured variable for Maybe.isEqual
Ensures both monads have have the same tag.
Adds documentation and correct types to Either(a, b)
Ignores non-doc comments.