a post on function lifting