Add Data.Type.Functor.Map#15

bch29 wants to merge 2 commits intodorchard:maindorchard/type-level-sets:mainfrom

bch29:masterbch29/type-level-sets:masterCopy head branch name to clipboard