question remains for sub types: does include parameter include the whole module of the subtype? or does this parameter must be with no effects for subtypes?