Types consistency demand.