Pass in Equality for the functor law check, so can check then in the context
of custom equality. Can't do it for Array, because it needs a ClassTag, as
would anything specialized.