Separate Rep family from HasRep class.

con-kitty / categorifier

Interpret Haskell programs into any cartesian closed category.

BSD 3-Clause "New" or "Revised" License

57 stars 2 forks source link

Separate Rep family from HasRep class. #72

Closed sellout closed 2 years ago

sellout commented 2 years ago

This reduces the work when dealing with GADTs with overlapping cases. Rather than having to duplicate the entire class, we only need to duplicate the type family.