T11203.hs:7:9: error:
    • Different names for the same type variable: ‘k1’ and ‘k2’
    • In the data declaration for ‘Q’