This check can be removed; functor laws are sufficiently tested by applicative laws in your new additions.