transCheck2 :: Bool
transCheck2 = enumerate (collapse (spawn 2 >> sprinkler)) ~==
               sprinklerExact
transCheck2 :: Bool
transCheck2 = enumerate (collapse (spawn 2 >> sprinkler)) ~==
               sprinklerExact
transCheck2 = enumerate (collapse (spawn 2 >> sprinkler)) ~==
               sprinklerExact