Introduce recursive `map` with instances for `UnapplyS1`.