Fixed extraction of [match] the presence of some ghost branches.
It must be the case that all brunches return [unit] and at least one of the
non-ghost ones must be effectful.