Still reasonably confident that Idris 2 is going to be quite a bit faster than Idris 1...pic.twitter.com/XDb4NVUTv3
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
So now the type is explicit about erasure, so even if a parameter gets erased, you can still pass the right parameter stack through DLL boundaries, interesting! Thank you for the answer!
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.