typed x ...
typed y ...