writes[A]#contramap