typed a ...
typed b ...