Remove unnecessary partiality