Typers.scala: two steps forward, one step backward. That's the story for tomorrow.