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