export-class.hs:3:13: error:
    • Pattern synonyms can be bundled only with datatypes.
    • In the pattern synonym: P
      In the export: MyClass(.., P)