Add function specs to Monad.Either module
Make `left/1` and `right/1` macros
Tweak Monad.Either documentation
Merge branch 'feature/either-documentation' into develop