Rainbow types.

Rainbow types.