{ Commutative = ./Commutative/package.dhall
, Inverse = ./Inverse/package.dhall
, Kind = ./Kind
, Type = ./Type
, functor = ./functor
, laws = ./laws
, terms = ./terms.dhall
}