module SeparateSubtype