Is there any reason why `EitherT` can't have a `Mo...

# arrow

[Scott Christopher]

Is there any reason why EitherT can't have a MonadError instance for all F if F has an Applicative instance?