I don't think the parent disagrees. Type inference is great for just about everything except dependant types which are all kinds of undecidable unless you help

I don't think the parent disagrees. Type inference is great for just about everything except dependant types which are all kinds of undecidable unless you help the compiler.