Pattern matching on [] is the last equation.