PCase36.stderr

PCase36.hs:18:15: error: [GHC-39584]
    " PCase36.hs:24:8: pCase: Wildcard match is redundant
    " In the quasi-quotation:
        [pCase|Expr e of
       Zero           -> e .== e =: qed
       Num _          -> e .== e =: qed
       Var _          -> e .== e =: qed
       Add _ _        -> e .== e =: qed
       Let _ _ _      -> e .== e =: qed
       _ | 2 .>= 3   -> e .== e =: qed
     |]
   |
18 |     |- [pCase|Expr e of
   |               ^^^^^^^^^...