No `MonadFix ((,) a)`?
I feel like I must be missing something obvious but I couldn't find any information about this: why isn't there a MonadFix ((,) a) instance? There is one for Writer a in transformers, which seems lawful to me.
instance Monoid a => MonadFix ((,) a) where
  mfix f = let (a, b) = f b in (a, b)