1 2 3 4 5 6 7
T5508.hs:(7,9)-(9,28): Splicing expression do let x = mkName "x" v = return (LamE [VarP x] $ VarE x) [| $v . id |] pending(rn) [<splice, v>] ======> ((\ x -> x) . id)