vvalueobothPair :: TermLike term TyName Name DefaultUni (Either DefaultFun ExtensionFun) => term ()Peek#