Putting types on the line