Re: It seems a bit confusing to express the current class object with the first argument.

[javinyang]

type
    T0 = object T1 = object T = object O = object

converter (this: any) toT (): T = discard proc (this: T0) p (): O = discard 
proc (this: T0) p (that:T1): O = discard proc (this: T0) p (that:T1, 
rest:varargs[T, toT]): O = discard proc (that :T1) p (this:T0): O = discard

Cann't nim be designed this way? I just started learning this language.