let
map f m =
M
.mapi f m