T16895c.hs:7:16: 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)