on 8a9bc63 help sign in
4 folders, 3 files
../ Internal/Add prisms focusing on a constructor by name Product/Add prisms focusing on a constructor by name Record/Add prisms focusing on a constructor by name Sum/Explicit export list for HasConstructor Product.hsExports Record.hssubtype -> super Sum.hsAdd prisms focusing on a constructor by name