Sink.View[+A] consists of the contra-variant write-only operations of Ref.View[A].
Sink.View[+A]
Ref.View[A]