+**Excercise** convert this function to OCaml. We've given you the type; you
+only need to give the term.
+
+Also give us the type and definition for a `head` function. Think about what
+value to give back if the argument is the empty list. Ultimately, we might
+want to make use of our `'a option` technique, but for this assignment, just
+pick a strategy, no matter how clunky.
+
+Be sure to test your proposals with simple lists. (You'll have to `make_list`
+the lists yourself; don't expect OCaml to magically translate between its
+native lists and the ones you buil.d)
+
+
+<!--