Two answers to &quot;language ceremony&quot;:<p>- smarter humans (keeping a map of type interactions in mind, unit testing type interactions);<p>- smarter computers (local&#x2F;global inference and static analysis).<p>I bet on computers.