let
filter f m =
M
.filter f m