Added Maybe and Either monads.