Проблемы с выводом типа GHC

Вопрос . Есть ли способ заставить этот код работать без явной подписи типа?

Код . Во-первых, у меня есть гораздо более удобный альтернативный класс MonadTrans , вдохновленный Data.Newtype . Это выглядит так,

{-# LANGUAGE FlexibleContexts, TypeFamilies #-}

module Alt.Control.Monad.Trans where

import Control.Monad

class (Monad