Bluefin compared to effectful [video]

Thanks to the both of you for making this public. There was a question in the talk about -XImplicitParameters not working for some reason. I also wonder whether reflection could be an option to temporarily kick an effect handle up to the type level, or whether that hits similar issues?

2 Likes