===> Cleaning for hs-bitvec-1.1.3.0nb2