Absint.Source
module type Kind = sig ... end
module type S = sig ... end
module Dummy : S with type t = unit