base.Let[V:imm,mut,read,R:imm,mut,read]

mut .var: V,
mut .in(v: V): R,
mut .var: V,
mut .in(v: V): R,