drvfail002.hs:19:23: error:
    • No instance for (X T c0)
        arising from the first field of ‘S’ (type ‘T’)
      Possible fix:
        use a standalone 'deriving instance' declaration,
          so you can specify the instance context yourself
    • When deriving the instance for (Show S)