+ ------------ View patterns ---------------
+ | ViewPat (LHsExpr id)
+ (LPat id)
+ PostTcType -- The overall type of the pattern
+ -- (= the argument type of the view function)
+ -- for hsPatType.
+
+ ------------ Quasiquoted patterns ---------------
+ -- See Note [Quasi-quote overview] in TcSplice
+ | QuasiQuotePat (HsQuasiQuote id)
+