Okay, I have, for a while now, understood the notion that some "types" can become rather long(exponential even in comparison to the code), and thus, realized that
type inference is a useful tool in dealing with the fact that the types can become a PITA in to write down in the code
(
Read more... )