OCaml에 있는 Functor라도 가져왔으면 좋겠다