Add some higher order function practice in HOFuns.ml