===> Cleaning for hs-type-equality-1nb3