{ duoid = ./duoid, monoid = ./monoid, rig = ./rig }