Make Data.Sum.isInj_1 and Data.Sum.isInj_2 level-polymorphic