examples/polysemy/src/Polysemy/Law.hs
