If you're looking for some ideas, check out Hask
. It has a really good type system similar to Haskell's and a way to make real ADTs and typeclasses. I would really like for a lot of these things to be in Coconut, especially with the possibilities of the syntatic nicities that are possible. I would like if you could explore it when you're free. However, with the kind of semi-drastic changes you may need to make a breaking release, so you could end up with the same situation as Python 2/3. I know version compatability is important to you, so we can figure out what to add. Lastly, if you're too busy at the moment, I would be more than willing to get some of these changes in a PR. Let me know your thoughts when you're free.