Maps and folds for heterogeneous data types. - View it on GitHub