Half Green - Read and Show property passes
Half Green - Read and Show property passes

Do notation for Arbitrary is useful. This is a good step towards
something like data.scientific

qwaneu/property-based-tutorial,mostalive/property-based-tutorial