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
Refactor hoist, retract and foldMap
- Combine hoist and retract into foldMap so that running foldMap walks
free structure once.
- Use updated foldMap in hoist and retract.