Remove path-dependent type from `Unapply`s.

In order to have a proper return typed infered.
Add `UnapplyS1` instance for `bind_traverse`.