GitHub repository: JordanMartinez/purescript-heterogeneous
Description: Maps and folds for heterogeneous data types.