GitHub repository: trawleyada/monoidal-rows
Description: type system experiments where rows are a monoid