base.Continuation[T:imm,mut,read,C:imm,mut,read,R:imm,mut,read]

mut #(x: T, self: C): R,
mut #(x: T, self: C): R,