Adds Monad
Adds algebras derived from Monads
Merge pull request #98 from johnynek/feature/monad

Adds Monad