You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Unfoldable1 is now a superclass of Unfoldable (if a value can be unfolded from something that is possibly empty, it can certainly be unfolded from something that is not empty). This also matches the relationship of Foldable and Foldable1, albeit in reverse.