with modules my concern is when you have to make t...

# arrow-contributors

[pakoito]

with modules my concern is when you have to make them match types. In Kotlin you do interface Bla<T>: Ble<T>, Blu<T> and that’s it. In OCaml you end up with monsters like

module Make_interval(Endpoint : sig
    type t
    include Comparable with type t := t
    include Core_kernel.Sexpable with type t := t
  end)
  : (Interval_intf_with_sexp with type endpoint := Endpoint.t)