Требуется ли доступ к внутренней структуре монады для преобразователя монады?

Нужно ли иметь доступ к внутренней структуре монаду написать преобразователя монады?

Например :Я бы хотелGetT-преобразователь для монады Getиз Data.Binary.Get, но этот модуль не раскрывает внутренности монады Get. Означает ли это, что единственный способ для меня добавить GetTнепосредственно в модуль Data.Binary.Get?