>>= is:exact -package:base-prelude -package:hedgehog package:control-monad-free

Sequentially compose two actions, passing any value produced by the first as an argument to the second.