module type S = sig ... end
module type Alphabet = sig ... end
module Make (A : Alphabet) : S
module DNA : sig ... end