Homogeneous types.