There's a bit of missing context: the author is writing this most likely as part of his research on implementing Backpack—a systems which would being OCaml Func

There's a bit of missing context: the author is writing this most likely as part of his research on implementing Backpack—a systems which would being OCaml Functor-like things to Haskell.