hypertypes icon indicating copy to clipboard operation
hypertypes copied to clipboard
verified publisher icon lamdu

Do not put inferred kind variables in generated TH splices

Open expipiplus1 opened this issue 1 year ago • 1 comments

Fixes https://github.com/lamdu/hypertypes/issues/23

expipiplus1 avatar Sep 19 '24 12:09 expipiplus1

This also requires PolyKinds, could probably be written to be more flexible I guess

expipiplus1 avatar Sep 19 '24 13:09 expipiplus1