ParentFull threadpwmglenn·SupGen isnt the backend to the type system? to auto implement the laws?View on HN