../ Construction/Get rid of the Spec kind, it can be simplified to just Type (#110)5 years ago Table/Allow the derivation of Rel8able on vanilla HKDs (#111)5 years ago Construction.hsGet rid of the Spec kind, it can be simplified to just Type (#110)5 years ago Map.hsReplace Recontextualize type class with Transpose associated type (#109)5 years ago Record.hsImplement our own HKD in terms of the existing Generic machinery6 years ago Rel8able.hsFix Rel8able to work with polymorphic types (#113)5 years ago Table.hsAllow the derivation of Rel8able on vanilla HKDs (#111)5 years ago