Unapply version of traverse_

This is a version of `traverse_` which uses `Unapply` to infer the type constructor in the result.

I've found this useful when working with effects in `ST` and `Free`, for example.