Using concrete types for temp vars