Skip to content

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)
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information