"In that case, it will include the whole module which contains the sub type."

I don't understand that part. Why does it keep the entire module if you want to keep a sub type?