{ instance = ./instance, monoidal = ./monoidal, rig = ./rig }