let f (x: #M.foo) = 0;;