Implements Either, Maybe and Tuple monads.
Added Tuples with arity 0 to 9.
Implements Either and Option.