second package:containers

Map contravariantly over a WhenMatched f x _ z.
Map contravariantly over a WhenMatched f k x _ z.