blob: d61a5c98f3bdb18fd7dce2e5b5eabbfa82ab2716 (
plain)
1
2
3
4
5
6
|
instance [orphan] IsList [Bool] = $fIsListBool
instance IsList [X] = $fIsListX
family instance Item [X] = D:R:ItemX
family instance [orphan] Item [Bool] = D:R:ItemBool
"myrule1" [orphan] forall @ a id @ (a -> a) (id @ a) = id @ a
"myrule2" forall id @ (X -> X) f = f
|
