===> Cleaning for pointfree-1.1.1.9nb1