let (b : M.b) = 2