119c825Allow the derivation of Rel8able on vanilla HKDs (#111)Shane5 years ago f47423eGet rid of the Spec kind, it can be simplified to just Type (#110)Shane5 years ago e0a1851Replace Recontextualize type class with Transpose associated type (#109)Shane5 years ago 97d89cfRemove Interpretation and Col (#107)Ollie Charles5 years ago 7c5422fMove FromExprs into the Table class and get rid of Unreify (#106)Shane5 years ago 991998aGet rid of Rel8.Table.Unreify and all remaining uses of QuantifiedConstraints (#103)Shane5 years ago 716d9f1Clean up ConstrainDBType (#100)Shane5 years ago 4aa5ba9Remove Labelable type class; we don't really need labels at the type level anymore (#76)Shane5 years ago cfe8a70Don't try to cram ADT into Rel8ableShane O'Brien6 years ago fab5b4eImplement our own HKD in terms of the existing Generic machineryShane O'Brien6 years ago 4bc16d3Introduce ADT meta-Rel8able for sum typesShane O'Brien6 years ago