val foo :: int -> int -> int