Где находится исходный код расширения языка GHC: «Стрелки»?

Где я могу найти исходный код, которая скрывается за языковыми прагмами

{-# LANGUAGE Arrows #-}

. Я читал соответствующие статьи (например, Патерсон, Новая нотация для стрел ), так что то, что происходит теоретически, ясно. Теперь я хочу посмотреть, как это на самом деле переводится в исходный код.

Все мои поиски приводят только к Руководству пользователя GHC или источнику Control.Arrow. Я что-то упустил?