Trying to add to-pointfree function to IR.