Weakening types for the great good, part 2...