&gt; Do you have a concrete example?<p>Off the top of my head, and since we&#x27;re talking about computation, I&#x27;d say SK combinator calculus. Or Church numerals.<p>&gt; Typeful programming<p>It is, but it can also be a hindrance. Finding the sweet spot is a matter for empirical study.