I like that you can even explain why it is complex. I was just able to give an example, that is explained by your argument (a type system for a purely functiona

I like that you can even explain why it is complex. I was just able to give an example, that is explained by your argument (a type system for a purely functional language as opposed to a mix of everything).