:: element -> [element] -> [element] -package:foundation package:quickcheck-state-machine