MonadError type class, \/ implementation, tests.
EitherT implementation.
LazyEither implementation.
LazyEitherT implementation.
Task implementation.
Remove redundant test.
MonadError syntax.