type t
val t : t typ