To be clear, I&#x27;m talking about the former (manipulating it as an opaque value).  I&#x27;ve never seen a program (save esoteric Haskell ones) that did anything with functions that even approached requiring Turing-completeness.