Abū ʻAmr al-Shaybānī, Isḥāq ibn Mirār, 8th cent.