Создание пользовательских Экземпляры PersistBackend

Question

У меня есть стек монада трансформатор формы:

newtype T m a = T { unT :: StateT State (SqlPersist m) a } 
    deriving (Monad, MonadState State) 

И хотите использовать постоянные insert и lookup звонки, так что мне нужно сделать PersistBackend экземпляр для T. Тем не менее, фантомный тип кодирует конкретный бэкэнд в возвращаемом типе Key - это вызывает некоторые дополнительные головные боли. Для того, чтобы решить вопрос типа фантом, мой экземпляр имеет вид:

instance (Monad m, MonadIO m, MonadBaseControl IO m) => PersistBackend T m where 
    insert = T . lift . liftM (Key . unKey) . insert 
    ... and about a dozen such methods ... 

Am I вслепую с видом простой способ? Способ кроме вызова функции вручную подъема: insertT = T . lift . insert

Answer 1

У меня есть две различные рекомендации:

1. Флип вещи вокруг, и положить SqlPersist вокруг вашего StateT вместо наоборот.
2. Создайте модуль с поднятыми версиями функций, аналогичный тому, что делает MonadState.

Я бы пошел (1). Если в этом работает много людей, я полагаю, что у нас может быть специализированный пакет, обеспечивающий отмененные версии всех функций.