Proposal? foldAlt :: (Foldable t, Alternative f) => t a -> f a