(CornerPointsError _) +++ b = CornerPointsError "illegal CornerPointsError +++ _ operation"
(CornerPointsError _) +++ b = CornerPointsError "illegal CornerPointsError +++ _ operation"
(CornerPointsError _) +++ b = CornerPointsError "illegal CornerPointsError +++ _ operation"