point-free FTW