Haskell's typeclasses automatically do dictionary passing for you; OCaml modules require you to specify the dictionary yourself. See http://okmij.org/ftp/Computation/typeclass.html