Module type T.Y

type t