Render types more precisely.