Updating: adding a withtype example