Figured out the pointfree version for funsies