[Haskell-cafe] "SameConstraints?" type constraints

[MigMit]

Typo.

{-# LANGUAGE ConstraintKinds, GADTs #-}
data SC c e where SC :: c d => d -> e -> SC c e

> On 19 Jun 2015, at 08:33, Leza Morais Lutonda <leza.ml at fecrd.cujae.edu.cu> wrote:
> 
> On 06/19/2015 01:37 AM, MigMit wrote:
>> data SC c e where SC :: c d => d -> e -> S e
>> 
>> (or SC :: (c d, c e) => d -> e -> S e, if you like it better). Of course, you would need ConstraintKind for that.
> Hi MigMit,
> This don't typechecks for me.
> 
> -- 
> Leza Morais Lutonda, Lemol-C
> http://lemol.github.io
> 
> 
> 
> 50 Aniversario de la Cujae. Inaugurada por Fidel el 2 de diciembre de 1964  http://cujae.edu.cu
> 
>