concrete functor and monad transformers

#53MonadFix for ListT

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