RelObserve
Relative Observe: whenever ObserveVal[M, F] for some effect M[_],
then also ObserveVal[M, G], for the same effect M.
class Object
trait Matchable
class Any
Relative Observe: whenever ObserveVal[M, F] for some effect M[_],
then also ObserveVal[M, G], for the same effect M.