Update where type inference example in tutorial