Haskell refugee learning OCaml in retirement, but mainly doing pure maths.