Dynamic closures, lift types...it's a real party