Type inhabitation problem
 
x
OK