{-# 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 <[email protected]> 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
> [email protected]
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
--
Your ship was destroyed in a monadic eruption.
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
