Add MaybeA, EitherA, and monads
Changes