blob: 2e073e6f3c128170273d9ce0573d7e5ce9667fde (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{-# LANGUAGE UndecidableInstances, TypeFamilies #-}
module T21302 where
data BoxAssocDouble = BoxAssocDouble (BoxAssoc Int)
deriving (Eq)
type family Assoc a
data BoxAssoc a = BoxAssoc (Assoc a)
deriving instance c Eq a => Eq (BoxAssoc a)
{-
[W] Eq (BoxAssoc Int)
==>
[W] c0 Eq Int
-}
|