OCaml-функторы, классы типа Haskell и множественный вывод

Хорошо известно, что OCaml имеет параметрический полиморфизм, и это приводит к некоторым ограничениям. Haskell через его классы типов предлагает специальный полиморфизм, который, очевидно, очень удобен в нескольких ситуациях. Также хорошо известно, что система модулей и функторов OCaml позволяет создать своего рода специальный полиморфизм. См. Замечательный недавний ответ Саймона Шина здесь, например.

Моя точка зрения заключается в том, что в Haskell можно создавать типы, которые выводят классы типов. Например:

data Person = Person { firstName :: String
                 , lastName :: String
                 , age :: Int
                 } deriving (Eq, Show, Read)

Это очень удобно для определения типов, имеющих несколько функций (позволяющих значения типа Person поддерживать тесты равенства, быть пригодными для печати и читаться в данном примере).

Мой вопрос заключается в следующем: можем ли мы сделать то же самое, просто в OCaml? Просто я имею в виду с основным синтаксисом языка и без многих уловок.

Чтобы привести несколько конкретный пример, предположим, что у нас есть две сигнатуры OCaml

module type Showable = sig
    type t
    val to_string : t -> string
end

module type Readable = sig
    type t
    val from_string : string -> t
end

Цель состоит в том, чтобы написать функтор F, параметризованный модулем, который реализует как Showable, так и Readable.

Ответ 1