=> IsExpr (VariableShiftPredictOp ss w vn)
instance (IsExprSet ss, IsCommonExprSet ss, IsCommonExpr w, IsVarName vn)
=> IsCommonExpr (VariableShiftPredictOp ss w vn)
=> IsExpr (VariableShiftPredictOp ss w vn)
instance (IsExprSet ss, IsCommonExprSet ss, IsCommonExpr w, IsVarName vn)
=> IsCommonExpr (VariableShiftPredictOp ss w vn)