Luka Jacobowitz
It means the same as `unit.contramap[Unit, Int](_ => ())` which is the same as `trivial[Int]`. Of course the `42` gets discarded, but that's just the nature of implementing `imap` in...
I honestly don't know if it is or not, it might be, but I'm not sure. It definitely breaks for 2.11 though.
@travisbrown let me figure out if this is binary compatible (I highly doubt it is)
Turns out, this might be binary compatible after all!
I'm not sure I fully understand `ReifiedInvocation` but `Invocation` can be seen as a specialization of `Program` :) see here: https://github.com/typelevel/cats-tagless/blob/master/core/src/main/scala/cats/tagless/optimize/Program.scala
@sellout gave a talk on this a couple years back: https://www.youtube.com/watch?v=QE3zqV4kVEo I believe I saw someone try even before that though, but not sure where exactly
@vasiliybondarenko go right ahead!
Yeah I think that PR would be appreciated, I wonder why they were marked private too
I think Selective is super interesting and I can't wait to dive into it more fully. I also think we could benefit from a more "Scala-like" encoding, as the one...
Not to discourage you @cb372, but I think it's a good idea to take our time and be patient with this. It's a very new and experimental abstraction, that could...