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

Tom Ellis tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk
Fri May 1 05:36:50 UTC 2015

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.

More information about the Haskell-Cafe mailing list