Hi,
I just found out that with the new ConstraintKinds extension we can
parameterize the constraint of an existentially quantified type:
{-# LANGUAGE KindSignatures, ConstraintKinds, ExistentialQuantification #-}
import GHC.Exts
data Some (c :: * -> Constraint) = forall a. c a => Some a
This cou
On Sat, Apr 21, 2012 at 6:05 PM, Bas van Dijk wrote:
> Hi,
>
> I just found out that with the new ConstraintKinds extension we can
> parameterize the constraint of an existentially quantified type:
>
> {-# LANGUAGE KindSignatures, ConstraintKinds, ExistentialQuantification #-}
> import GHC.Exts
>