Module Pattern.Make.T

module T: T