Pass in the right types to kernel lifting code