Recursive Function type

[shallowHal]

Hi all,

how could a recursive function type definition be written? This is a function 
which returns a function of the same signature, etc.
    
    
    type
      g = proc(i : in): g
    
    
    Run

Many thanks H