More pointfree.