Module type Type.X

type t
type u