type inequality