type t (* void *)

関数型言語や英語学習の事とか。