> Good "pluggable type systems" are a general solution usable for many other > purposes too,
I guess you don't like this, right? If I ask you a special-purpose solution for just printing functions, you answer me that it's a wired solution, etc. If I answer with a more general solution like pluggable type systems, you think it's too much work to implement, etc. So there's no way out. Bye, bearophile
