1 2 3 4
T11821a.hs:4:31: error: • Couldn't match ‘k1’ with ‘k2’ • In the type synonym declaration for ‘SameKind’