Propsal: NoDatatypeContexts

[Thomas Schilling]

On 18 July 2010 22:59, Ian Lynagh <igloo at earth.li> wrote:
> I have made a proposal to remove support for that context (ticket #139).
> More details are on the proposal wiki page:
>
>    http://hackage.haskell.org/trac/haskell-prime/wiki/NoDatatypeContexts

+1

I would be interested in a case where it actually *is* a good idea to
use such contexts.  From my understanding, if you want to enforce the
constraints on users of your library you can still export it as an
abstract data type and put the constraints on the functions that use
it.