Future of typing ?

[sls1005]

This worked:
    
    
    import std/sugar
    
    proc each(list: seq[int], callback: proc(v: int): void) =
      callback 0
    
    @[1].each((v: int) => echo v)
    
    
    Run

It seems that `void` can be inferred if the parameter type is known.