$def foo { %foo F } -> (F 10)
$def foo { %foo F %bar G @qux } -> (F 10)
$def foo (only { %foo F }) -> (F 10)