Reintroduced IEither
Fixed a few bugs with Maybe