Removed instances that are unsound in the traditional and NonEmpty APIs