One more example and type addition