Add test for the functor laws