{ Commutative = ./Commutative/package.dhall
, Hopf = ./Hopf/package.dhall
, Kind = ./Kind
, Type = ./Type
, extractSemigroup = ./extractSemigroup
, laws = ./laws
, terms = ./terms.dhall
}