Or should obey the functor laws via its 'good' map

Add the inverse of "Or should obey the functor laws via its badMap method"  which tests whether the 'good' map on Or obeys the functor laws.