When printing a qualified type, look through a substituted template