Contains laws that are obeying by combination of types, for example various kinds of signed rings.
Represents a permutation encoded as a map from preimages to images, including only pairs that are moved by the permutation (so the identity is Map.empty).