T16895d.hs:7:15: error: • Non-variable expression is not allowed in an infix expression When splicing a TH expression: 1 `GHC.Base.id GHC.Base.id` 2 • In the untyped splice: $(infixE (Just [| 1 |]) [| (id id) |] (Just [| 2 |]))