Slight problem:
lWeĠd need a different class for each function to be applied.
lWeĠd also need a different map for each of those functions.
lSo nothing would be gained over ad hoc definitions of map-like functions.