Towards a prevalent alternative prelude?

Suggestion: freeze “base” and call the new prelude by a new name. Eventually, just let “base” wither away.

4 Likes