T9705.hs:3:5:
    Pattern synonyms not allowed in instance declarations
      pattern P = ()