Dests are now Mods so that they can be included in parameter lists to memo, and
memo now returns Any.