docs: type generic interrupts without Extract casts view more