"write type" -> "right type" or maybe "correct type"