And I mean, they're perfectly suitable for futzing around in ghci. I think we need different preludes for different contexts.

Yes, deprecation is fine, as long as they are not removed.