blob: 0d07db83d125406fad68836431ccf96d8b85f88e (
plain)
1
2
3
4
5
6
7
8
|
TH_TyInstWhere1.hs:(5,3)-(7,24): Splicing declarations
[d| type family F (a :: k) (b :: k) :: Bool where
F a a = True
F a b = False |]
======>
type family F (a :: k) (b :: k) :: Bool where
F a a = 'True
F a b = 'False
|