let filter f m = M.filter f m