Enable discussions? Or how does CanReflect[IO] get provided?

[er1c]

How does this https://github.com/lampepfl/monadic-reflection/blob/main/cats/src/main/scala/monadic/cats/package.scala#L9 provide evidence of CanReflect[IO]?

[b-studios]

I enabled discussions and we could also move it over there. It inherits from Monadic, which implements reify:

https://github.com/lampepfl/monadic-reflection/blob/main/core/src/main/scala/monadic/Monadic.scala#L31

reify itself generically instantiates CanReflect:

https://github.com/lampepfl/monadic-reflection/blob/main/core/src/main/scala/monadic/Monadic.scala#L39