Re: Newbie question on generic instantiation

[cdome]

I don't see how compiler can instantiate right method. The L is not bound to 
anything at al. You can do it only explicitly:
    
    
    proc myfunc() : Either[int, string] =
      right[int, string]( "Not implemented yet!" )