t -> [t]