--all_check = (mass (Population.all id (spawn 2 >> sprinkler)) True) ~== 0.09

transCheck1 :: Bool
transCheck1 = enumerate (collapse sprinkler) ~==
               sprinklerExact
transCheck1 :: Bool
transCheck1 = enumerate (collapse sprinkler) ~==
               sprinklerExact
transCheck1 = enumerate (collapse sprinkler) ~==
               sprinklerExact