silence a warning

The `lift` function was only used by the doctests, but I can't import
Control.Monad.Trans inside the $setup section because doctest ignores
the PackageImports pragma. So, I added a spurious use of `lift`.