lazypat.hs:7:5: error: [GHC-87005]
    • An existential or GADT data constructor cannot be used
        inside a lazy (~) pattern
    • In the pattern: T x f
      In the pattern: ~(T x f)
      In an equation for ‘f’: f ~(T x f) = f x