trace_mh_length n = fmap length (sampleIOfixed (traceMH n sprinkler))
trace_mh_length n = fmap length (sampleIOfixed (traceMH n sprinkler))
trace_mh_length n = fmap length (sampleIOfixed (traceMH n sprinkler))