Interesting challenge: define a dependent list type where, for each cons cell, the type of its head depends on its tail.
@pelotom not that I think it's possible as you describe it but it still shouldn't crash
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
@pelotom not that I think it's possible as you describe it but it still shouldn't crash