Type inference is beautiful.