3 ms·SupGen isnt the backend to the type system? to auto implement the laws?by pwmglenn 14d agoSupGen isnt the backend to the type system? to auto implement the laws?