prop_correct = property (\xs -> simulate c xs == zip (repeat false) xs)
prop_correct = property (\xs -> simulate c xs == zip (repeat false) xs)
prop_correct = property (\xs -> simulate c xs == zip (repeat false) xs)