Где я могу найти исходный код, который скрывается за языковой прагмой
{-# LANGUAGE Arrows #-}
Я прочитал соответствующие статьи (например, Патерсон, Новая запись для стрелок ),так что теоретически происходит ясно.Теперь я хочу увидеть, как это на самом деле переводится в исходный код.
Весь мой поиск ведет только к Руководству пользователя GHC или источнику Control.Arrow.Я что-то здесь упускаю?