Macros only offer a subset of the possibilities of TH they are limited to expressions , but on that subset they are nicer and safer to program with . In this respect they ' re closer to Typed Template Haskell , which is also limited to expressions . <| sep |> Can I come ? <| sep |> This is awesome justification . Well , Jews killed Jews so Hitler was OK <| sep |> I ' m going to be dining with quite a few Trump voters tonight . <| sep |> EJ is my boy but he didn ' t play well at all tonight . <| sep |> same reason electronic voting machines have the ability . everything is a variable . <| sep |> Like the caves and stuff you gotta go through to get to it . <| sep |> I ' ll give it a shot . You getting blackmailed over your browsing history would be bad . Someone much more powerful than you getting blackmailed over their browsing history would be worse . The truth is everyone should be exempt . No one should be subject to this law it never should have been passed .