David Strawn
David Strawn
This isn't bincompat, though, right? I thought we checked that in CI, but now I'm confused.
I'm on the fence about this change. By making `WithContext[Msg, A]` take parameters for both of its members, we've basically made it a `Tuple2`. This is more general, but if...
@Daenyth can you elaborate on that more? To me this mostly looks like the effects of this are changing functions which were formerly explicitly `Kleisli` and making them have an...
I updated a couple example files, just as a sanity check
@rossabaker so one of the more pragmatic reasons I was considering going the typeclass route is that it would allow the existing builders to stay relatively unchanged, we can map...
I'm looking into the build failure, but I don't think it is related to this PR.
@joroKr21 I'm not certain I follow what you mean. Given this trivial type. ```scala final case class Wrapper[A](value: A) object Wrapper { implicit val instance: Order1[Wrapper] with Hash1[Wrapper] = new...
@johnynek > I am not sure we should add these types. I think we should see a strong case for adding something, not an example or two. For my part,...
@johnynek > Secondly, I can't even imagine why we would want heterogeneous inner types: compare: (A, B) => Boolean. I can't think of a use case, and it frustrates what...
@johnynek Here is that back of the napkin math I promised you. If we removed the deprecated instances for Either (Order[Either[A, B]], PartialOrder[Either[A, B]], Hash[Either[A, B]], Eq[Either[A, B]]), then we...