A-type subduction