blob: ab2827730f0b6aaa73331ad5e4d1b3439a73a29a (
plain)
1
2
3
4
5
6
7
8
9
|
data B1 a = B1 a
data instance C.F (B1 a) = B2 a
data family D a
class C.C1 a where
data family C.F a
class C.C1 a where
data family C.F a
-- Defined at T5417a.hs:7:5
data instance C.F (B1 a) = B2 a -- Defined at T5417.hs:8:10
|