A pack to rewrite some prelude default binding