vvaluegetMethod :: MonadFail m=> forall (n :: Type -> Type). Monad n => Val -> MP n ()-> Val-> Text-> m ValPeek#