-instance (ExprSet ss, Expr w, VarName vn)
- => Expr (VariableShiftPredictOp ss w vn)
-instance (ExprSet ss, CommonExprSet ss, CommonExpr w, VarName vn)
- => CommonExpr (VariableShiftPredictOp ss w vn)
-instance ( VarName vn
- , VariableSet (MentionedVarsOf ss :++: MentionedVarsOf w)
+instance (IsExprSet ss, IsExpr w, IsVarName vn)
+ => IsExpr (VariableShiftPredictOp ss w vn)
+instance (IsExprSet ss, IsCommonExprSet ss, IsCommonExpr w, IsVarName vn)
+ => IsCommonExpr (VariableShiftPredictOp ss w vn)
+instance ( IsVarName vn
+ , IsVariableSet (MentionedVarsOf ss :++: MentionedVarsOf w)