T16895c.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`) • In the untyped splice: $(infixE (Just [| 1 |]) [| id id |] Nothing)