Functor Laws: Add some links and a note re: undefined