[eternityforest]

Explicit is better than implicit.

But I can see the value of inference if the type is defined by a constant. If the rule is "Variables are the type of the constant that you assign in the definition, anything else is manual" it's pretty obvious.

[thefaux]

(noun Explicit) (verb is) (adjective better) (conjunction than) (noun implicit).