Extractor types aren't magical. You can clearly see the types involved. How and when are those types constructed? That's up to you to research.