Add a pointfree version of perfects
Use pointfree notation