`Same` / `Unique` monoidal witnesses
Why do you think that https://github.com/yesodweb/yesod is a good alternative to symmetric-properties
`Same` / `Unique` monoidal witnesses
Why do you think that https://github.com/yesodweb/yesod is a good alternative to symmetric-properties