Lifting example - demonstrating how handlers allow lifting to removed
from MTL-style code.