On the difference between subtypes (two subtype theory)
The difference between an accepting subtype and a producing subtype is readily apparent. I will illustrate this with an example; I assume most of you have watched the old Ghostbusters movie. In this movie, we have two characters that belong to the same type but are of different subtypes:
Dr. Egon Spengler (played by Harold Ramis)
http://i63.tinypic.com/334ol5e.jpg
Dr. Peter Venkman (played by Bill Murray)
http://i64.tinypic.com/qzg0t0.jpg
These two characters are both the same type, but at the same time they are very, very different in many aspects. This is how much subtypes make a difference.
Now I will leave here a challenge; what are their types?