(fn [t] (type t))  is the same as just type