5968e9f61 ^
1 2 3 4 5 6 7 8 9
class Test { type T = [X] -> [Y] -> (X, Y) type A[X] = [Y] -> (X, Y) type B[X] = (X, X) }