You can optimize in some cases, even when you don't know what the input would be. A great example is the one from the post where `morte` optimizes the function

You can optimize in some cases, even when you don't know what the input would be. A great example is the one from the post where `morte` optimizes the function `#and #True` to the identity function on `#Bool`s even though it doesn't yet know what the second argument would be.