blob: 52026af489216d4fe08b4b9735c335faecb69595 (
plain)
1
2
3
4
5
6
7
8
|
Pair :: * -> * -> RuntimeRep -> *
Pair Int :: * -> RuntimeRep -> *
Pair Int Float :: RuntimeRep -> *
Pair Int Float LiftedRep :: *
Pair :: TYPE rep -> TYPE rep' -> RuntimeRep -> *
Pair Int :: * -> RuntimeRep -> *
Pair Int Float :: RuntimeRep -> *
Pair Int Float LiftedRep :: *
|
