T5515.hs:9:3:
    The RHS of an associated type declaration mentions ‘a’
      All such variables must be bound on the LHS

T5515.hs:15:3:
    The RHS of an associated type declaration mentions ‘a’
      All such variables must be bound on the LHS