Describe types more precisely.