Propsal: NoDatatypeContexts

Thomas Schilling nominolo at
Mon Jul 19 18:14:26 EDT 2010

On 18 July 2010 22:59, Ian Lynagh <igloo at> wrote:
> I have made a proposal to remove support for that context (ticket #139).
> More details are on the proposal wiki page:


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

More information about the Haskell-prime mailing list