hub.darcs.net :: ross -> transformers -> issue

Christos Perivolaropoulos

Is there a technical reason that ListT does not implement MonadFix? Eg

instance MonadFix m => MonadFix (ListT m) where
  mfix f = ListT $ mfix $ \case
    [] -> return []
    (x:_) -> runListT $ f x