===> Cleaning for pointfree-1.1.1.11nb1