These are chat archives for fthomas/refined
Reducible[Lambda[X => F[X] Refined NonEmpty]]works and is what you want, right?
Yes, it works and I'll progress with that. But Im not yet fully comfortable with this nesting of type-lambdas inside, its not a code idiom Ive used before, nor seen in the wild. So.. was wondering if Id missed something more straightforward.
Happy to contribute a cats-integration module once I understand the problem domain better. Im currently working on a codebase that combines Cats + Eff + Refined, that might yield a small Eff-Refined integration module as well