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