Fold NullaryTypeClasses into MPTC
|Reported by:||owst||Owned by:|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||Differential Revisions:|
NullaryTypeClasses are an instance of MultiParamTypeClasses, so make it so.
Suggested by Austin on reddit
Change History (12)
Changed 10 months ago by owst
comment:6 Changed 9 months ago by monoidal
- Resolution set to fixed
- Status changed from patch to closed
Note: See TracTickets for help on using tickets.