T6021.hs:5:10:
    Kind variable also used as type variable: ‘b’
    In an instance declaration