let atomize l = S(List.map (fun x -> A x) l)