-- element, and collecting a result structure with the same shape.
-- have two such varieties of elements.
-- These are available as 'bimapDefault' and 'bifoldMapDefault' respectively.
-- the results produced from sequencing the actions.
-- For a version that ignores the results, see 'bitraverse_'.
-- | Alias for 'bisequence'.
-- | Alias for 'bitraverse'.
-- the results, see 'bisequence_'.
-- version that ignores the results, see 'bifor_'.
-- | Alias for 'bifor'.
-- See Note [Function coercion] in Data.Functor.Utils.