Re: Type inference side effects

[LeuGim]

No, more implicit code of coarse is more compact (less letters to type and 
read), and this is exactly the reason for type inference to exist.