David Strawn

@ChristopherDavenport I've updated this to use a Builder as per your suggestion for binary compatibility. I've also updated the commit and the commit message/PR message. Thoughts?

Yeah, I ran into this [when prototyping](https://github.com/typelevel/cats-collections/issues/564) `Interval`. :smile:

This appears to be caused by the `TERM` variable I was using. I am using `tmux-direct` for truecolor support inside a tmux session, but this breaks some (but oddly not...

I've also considered defining it on `object Order`, similar to how `Data.Ord` scopes `Down`, but given the use of `NewType` having it in `cats.data` seemed better, but I'm open to...

:thinking: hmm...I don't think `Inverse[A]` in and of itself implies any Semigroup or Monoid, though I agree this does have a lot of similarity to things like `Max` and `Min`...

Just to clarify, are we saying that we intentionally want the usage of non-coherent instances to be normative? Like, we demand either `Order[Int]` or `Order.reverse(Order[Int])` on `Range` creation as a...

:+1: You scared me for a minute. So coming back to `Range`. If we define ranges as intervals going in a single direction, then I think we can make the...

@satorg RE 1.CONS Assuming the inclusion of `Inverse` from the aforementioned PR, do you think something along these lines would work? ```scala val a: Interval[Int] = Interval(1, 10) val b:...

I can also just make a POC PR as well, if that would be easier for discussion.

@satorg I would say yes. An `Interval` type, not only providing some utility itself, is fundamental to a class of data structures [called Interval Trees](https://en.wikipedia.org/wiki/Interval_tree), of which we have a...