on 6bd22ca help sign in
4 folders, 3 files
../ Internal/Begin clean-up and adding HasType. Product/Begin clean-up and adding HasType. Record/Begin clean-up and adding HasType. Sum/Explicit export list for HasConstructor Product.hsExports Record.hssubtype -> super Sum.hsAdd prisms focusing on a constructor by name