@Nexus6 @eshansingh I love to see the debate going on here! I think this is a really important issue regarding the direction of Coconut development, and I'm glad to see everyone so engaged. I think a large part of the reason Python was so successful in the first place was because it was so approachable. Furthermore, Coconut is never going to be as good as Haskell at pure FP, so it's fortunate that Coconut's goal isn't to do that. Instead, Coconut's goal is to do the same thing Python did for OOP--make it really easy and accessible--for FP. Every feature that I implement is, in the end, geared toward achieving that goal. To that end, as far as typing is concerned, I think trying to implement an entire Hindley-Milner type system (what Haskell uses) is a bad idea, because it would make writing statically typed code harder and less accessible. On the other hand, making it easier to write MyPy type definitions makes writing statically typed code easier and more accessible, and is thus something that I support.