API here was accidentally strongly typed and inconsistent with usual DefDef.