⁵Note that the lift function is equivalent to its namesake in Template Haskell.