[Haskell-cafe] newtype a Constraint?

[Roman Cheplyaka]

Neat, thanks!

Roman

* Gábor Lehel <illissius at 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 <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?
> >
> > Roman
> >
> > _______________________________________________
> > Haskell-Cafe mailing list
> > Haskell-Cafe at haskell.org
> > http://www.haskell.org/mailman/listinfo/haskell-cafe
> >
> 
> 
> 
> -- 
> Your ship was destroyed in a monadic eruption.