Shallow type substitution