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

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.