Re: Applicative instance of ExceptT is wrong