===> Cleaning for pointfree-1.1.1.12nb1