Ok, here's another one. Does this monoidal crush for options exist somewhere? I guess you could do something with xor and zip_wiith but it wouldn't be pretty. https://gist.github.com/reinh/1d8ba34b3f9a1bbe6eff0f1e1e6e7754 …pic.twitter.com/ldGabIwlaA
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
DoublyExtended derives the correct Ord relation for a double extended number line, which means you can just use min and max directly, which is nice.
i.e., forall x in T. NegInf < x < PosInf
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.