Ah. My original comment was about how limited type systems are still useful, in response to someone not seeing their point when using them. Communication is hard :)