tcfail155.hs:8:6: error:
    • Data constructor ‘P’ returns type ‘L2’
        instead of an instance of its parent type ‘T a’
    • In the definition of data constructor ‘P’
      In the data type declaration for ‘T’