10
15
2
1
4
3
2
1
Functional dependencies can "return" kinds, type families cannot
by José Pedro Magalhães 13 Feb '14
by José Pedro Magalhães 13 Feb '14
13 Feb '14
2
1
5
5
2
2
2
1
1
0
1
0