pointfree style