let (a : M.a) = 2