symmetric-properties (hackage): `Same` / `Unique` monoidal witnesses
Keywords: bsd3|library|web|haskell