Apply and Applicative instance of ExceptT are inconsistent

[xuwei-k]

• https://github.com/purescript/purescript-transformers/blob/v0.8.1/src/Control/Monad/Except/Trans.purs#L53-L60
• Make bind, ap, point, map relationships monad/applicative laws scalaz/scalaz#255

[hdgarrood]

I don't understand. Is it really Apply and Applicative, or Monad and Applicative? Can you provide an example that demonstrates the inconsistency?