Problem $4.$ Consider the following definition:

fun $h(a,b,c)=$ if $a[b**c](b,c)$ then

$1\mathrm{.}0$

else

$h(a[0],c,b)$

Using Hindley$-$Milner type inference, determine the type of $h.$