<$> package:quickcheck-state-machine