+Booleans, Church numerals, and v3 lists in OCaml
+------------------------------------------------
+
+(These questions adapted from web materials by Umut Acar. See <http://www.mpi-sws.org/~umut/>.)
+
+Let's think about the encodings of booleans, numerals and lists in System F, and get datastructures with the same explicit form working in OCaml. (The point... so we won't rely on OCaml's native booleans, integers, or lists.)
+
+Recall from class System F, or the polymorphic λ-calculus.