haskell - メンドラー風ヒストモーフィズム

Question

recursion-schemesからhistomorphism ( histo)を使用して、最初のリストから奇数インデックスのみを含むリストを取得できます。

import Data.Functor.Foldable

odds :: [a] -> [a]
odds = histo $ \case
  Nil                           -> []
  Cons h (_ :< Nil)             -> [h]
  Cons h (_ :< Cons _ (t :< _)) -> h:t

を使用して同じものを取得するにはどうすればよいmhistoですか?

nil      = Fix Nil
cons a b = Fix $ Cons a b
list = cons 1 $ cons 2 $ cons 3 $ nil

modds :: Fix (ListF a) -> [a]
modds = mhisto alg where
   alg _ _ Nil = []
   alg f g (Cons a b) = ?