@brokenix@emacs.ch kinda like this

launchMissiles = runIO \world0 ->
let
(world1, ()) = openShafts world0
(world2, missiles) = prepareVehicles world1
in
launch world2 missiles

You can look up the real definition in `base` sources.