===> Cleaning for pointfree-1.1.1.7