universe icon indicating copy to clipboard operation
universe copied to clipboard
verified publisher icon dmwit

Make UniverseSome and FiniteSome poly-kinded

Open endgame opened this issue 10 months ago • 2 comments

This seemed to work without much fuss, and I was able to use $(deriveUniverseSome) on a GADT with a Symbol for the type parameter.

endgame avatar Mar 13 '25 09:03 endgame

Don't edit changelogs.

phadej avatar Mar 13 '25 12:03 phadej

Fine. Rebased.

endgame avatar Mar 14 '25 01:03 endgame