type instance IsExpr (CommonSetOp es) = IsExprSet es
type instance IsCommonExpr (CommonSetOp es) = IsCommonExprSet es
type instance IsIterativeExpr (CommonSetOp es) = IsIterativeExprSet es
type instance IsExpr (CommonSetOp es) = IsExprSet es
type instance IsCommonExpr (CommonSetOp es) = IsCommonExprSet es
type instance IsIterativeExpr (CommonSetOp es) = IsIterativeExprSet es