Toby - Amending type inference example.