example codes for 矢澤にこ先輩と一緒にcatamorphism！

      Maybe Char -----> Char
       |                 |
fmap f |                 | f
       v                 v
      Maybe Int  -----> Int

    (Fix Maybe, Maybe (Fix Maybe) -> Fix Maybe)
         !                             !
         !                             !
         v                             v
(Char, Maybe Char -> Char) --> (Int, Maybe Int -> Int)

💠 ナニコレ？ 💠

　にこちゃんがcatamorphismやF-代数について解説するSS「矢澤にこ先輩と一緒にcatamorphism！」に掲載したコードの全体 🐕