Create an extended type from an existing type

Sorry I don't get it, how type b is created from type a in the above example? I don't even see any reference to type b.

I have been reading the linked post but this is really a very confusing thread! :)