pointfree style or tacit style programming