[Haskell-cafe] Is it acceptable if Applicative behave not like a Monad

[Tom Ellis]

On Thu, Apr 30, 2015 at 10:11:49PM -0700, Andrew Gibiansky wrote:
> Why can't the library provide a `newtype`, one which supports `Applicative`
> *and* `Monad` interfaces (where the applicative and monadic interfaces
> match), and an un-newtyped variant that only supports `Applicaative`, as
> well as conversion functions?

This sounds like the right solution to me.