Holy shit, pointfree