Help lens along finding Wrapped instance

lens-3.8 is less good at finding a suitable instance
using wrapped' or unwrapped', which have narrower types
(compare Iso', Iso) than the unprimed versions, works