to reverse the type construtors and apply transfor...

# arrow

[raulraja]

to reverse the type construtors and apply transformations at the same time or perhaps foldMap if you have the notion of an empty value and want to fold all those functions into a final result accumulating via the monoid instances