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