[Haskell-cafe] "SameConstraints?" type constraints

[Leza Morais Lutonda]

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