add foldl/map Monoid Homomorphisms#1308

eiais wants to merge 2 commits into

agda:masteragda/cubical:masterfrom

eiais:listMonoideiais/cubical:listMonoidCopy head branch name to clipboard