hypotenuse = a b c ->
  square = x ->                                                                ++- Nested function
    case (x != 0) -> 
      x ** 2
    else
      0
    ;
  ;

  sqrt = x ->                                                                  ++- Nested function
    case (x != 0) -> 
      math:sqrt x
    else
      0
    ;
  ;

  sqrt (                                                                       ++- "hypotenuse()" begins here...
         square a +
         square b +
         square c
       )    
_
  a, b, c : I|F
;

hypotenuse :: _ _ 0