Maybe add an example where the first two arguments are non-trivial.