As a counterpart to `Foldable1`, I believe an `Unfoldable1` makes sense.
As a counterpart to
Foldable1, I believe anUnfoldable1makes sense.