type 'a t = T
module type T = sig type t end