Source.View[+A] consists of the covariant read-only operations of Ref.View[A].
Source.View[+A]
Ref.View[A]