Int => Int obeys functor laws?