Absint.Sink
module type Kind = sig ... end
module type S = sig ... end
module Make (Kind : Kind) : S with module Kind = Kind