refined VerifiedPackable