Add data family example
Make r ~ SetResult r f (GetResult r f) a superclass of Upd, not Has