If you could wave a magic wand and have a haskell derivative spring into existence with whatever divergences you choose, what would you choose? I think while learning haskell, a lot of people wish there was a strict-by-default version, for example, but we can't all see the full consequences, I expect you can see more than most hence would be interested to know what you'd consider a worthy experiment.