Even for Assoc, which is a bit heavy but works well. coerce is now a smart constructor. Examples pass.