blob: 7b7834d1f252b873cc438e9ccf09d8a2222dee92 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE QuantifiedConstraints #-}
module Bug where
import Data.Kind
data ECC :: Constraint -> Type -> Type
class Y a
class Z a
instance c => Y (ECC c a)
instance (c => Z a) => Z (ECC c a)
|
