Extracted types