Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Move ids to type family #309
This PR moves the
For now, I kept the various newtypes (e.g.,
I think a good rule though would be that
Motivation: Avoid manually inspecting the variants of `TypeName` since it will eventually become opaque.
This will be used for interconverting ids between type families. It may be easier, of course, to just give up on the idea of having generic type families (that map to the same underlying family at runtime) but I've not given up on the idea *quite yet*.
jackh726 left a comment
Like I said on Zulip, I don't really know what the direction for these changes is, but I looked over this anyways. Just the one comment, but everything else looks good.