Pointfree definition of pairSpace for amusement value.
Some cleanup