1 2 3 4
T11821a.hs:4:16: error: • Different names for the same type variable: ‘k1’ and ‘k2’ • In the type declaration for ‘SameKind’