[Haskell-cafe] Restricted type classes

[Tobias Brandt]

On 3 September 2010 06:16, Ivan Lazar Miljenovic
<ivan.miljenovic at gmail.com> wrote:
> 2c) Should I keep the classes as-is, or should I explicitly put in the
> constraints mentioned in the Typeclassopedia (e.g. make Applicative an
> explicit superclass of Monad, and define return = pure for
> compatability reasons)?

I also opt for putting the constraints in.

> 3) Am I wasting my time with this?

Definitely not. A standard container interface is something a lot of
people want.