I think what you mean is type inference which does...
# announcements
k
I think what you mean is type inference which doesn't depend on reification