Neat, thanks!
Roman
* Gábor Lehel <illiss...@gmail.com> [2013-03-12 14:26:38+0100]
> {-# LANGUAGE UndecidableInstances #-}
>
> class OldConstraint a => NewtypedConstraint a
> instance OldConstraint a => NewtypedConstraint a
>
> perhaps?
>
> Nice thing is you don't even need to do wrapping/unwrapping, like you do
> with data newtypes.
>
>
> On Tue, Mar 12, 2013 at 2:18 PM, Roman Cheplyaka <r...@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?
> >
> > Roman
> >
> > _______________________________________________
> > Haskell-Cafe mailing list
> > Haskell-Cafe@haskell.org
> > http://www.haskell.org/mailman/listinfo/haskell-cafe
> >
>
>
>
> --
> Your ship was destroyed in a monadic eruption.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
