starting type extraction