Type inhabitation problem