some package:QuickCheck

Disjunction monoid built with .||.. Use `property @Some` as an accessor which doesn't leak existential variables. Note: monoid laws are satisfied up to isSuccess unless one is using checkCoverage.