.@scalding on second thought (a night's rest helped^^), this can't possibly work except in the https://twitter.com/c_chep/status/698156209094967298 … very limited case…
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
@avibryant exactly my concern (in the generalised case; in my practice where K1 is K@@T, ordering is kt.unwrap's ord) @0x138 @scalding
@avibryant @c_chep @scalding If you do that then you would ignore the ordering/comparator of the original type in the shuffle I believe.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.