Экземпляр Monad для пар

Question

This question показывает определение экземпляра для (,) a b, где a является экземпляром Monoid.

Однако, я не знаю, как написать аналогичную вещь для (,) a b, а b - это пример Monoid? Я могу в принципе сделать это до тех пор, как я могу написать определение:

instance Monoid b => Monad ((,) ???) where 
    return a = (a,mempty) 
    ~(a,b) >>= f = let (c,b1) in f a in (c,b `mappend` b1) 

Таким образом, вопрос, как написать ??? часть?

UPDATE

На самом деле этот вопрос частный случай более общей проблемы: можно ли написать экземпляр класса типа, которые действуют на некоторых типах, которые не появляются в конце? В моем случае конструктор типа имеет значение (,) a b, и я хочу сделать его экземпляром Monad a, где a не является последним параметром типа.

Answer 1

Мы могли бы написать, потому что теперь синонимы работает неприемлемым для этого случая, так что мы используем Newtype:

newtype RevTuple b a = RevTuple { totuple :: (a , b) } 

instance Monoid b => Monad (RevTuple b) where 
    return a = RevTuple (a,mempty) 
    (RevTuple (a,b)) >>= f = 
       let RevTuple (c,b1) = f a in RevTuple (c,b `mappend` b1) 

Answer 2

Вы не можете. Крайне важно, чтобы Monad был полиморфным по своему параметру, поэтому, если конкретная монадическая вещь имеет смысл только для моноидов, это не монада.

Например, return :: Monad m => a -> m a. Нет никакого способа добавить дополнительное ограничение к сигнатуре return.