Make one function pointfree