week1: functional ocaml turing complete after all