[Haskell-cafe] newtype a Constraint?

[Max Bolingbroke]

On 12 March 2013 13:18, Roman Cheplyaka <roma at ro-che.info> wrote:
> Is there a way to newtype a constraint?
>
> Imagine a type class parameterised over constraints. What do I do if I
> want multiple instances for (essentially) the same constraint?

It would make sense to add support for this to newtype directly. I
think it would also make sense to allow newtypes over types of kind #.
"All" that is required is some implementation effort: I looked into
doing this as part of the constraint kinds patches but it is a bit
messy.

Max