Problem $3.$ Consider the following definition:

fun $k(a,b,c,d)=ifa[b(c)]>0\mathrm{.}0$ then

$\frac{5\mathrm{.}0}{a}(b)$

else

$d(4)$

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