simpler IsTy V instance via 'guard'