@edwinbrady does this mean type-level functions are never really "evaluated" at all?pic.twitter.com/kXtF6S69os
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
No, it just means you can’t pattern match on a Type. They still get evaluated at compile time.
but in e.g. the printf example, first arg is a runtime value, so how can it be evaluated at compile time?
It gets evaluated when checking each pattern, where its form is known. Try putting holes on the RHS and look at their types.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.