type inhabitation problem