Add `UnapplyS1` instance for `point`.
Add `UnapplyS1` instance for `traverse_join`.