[Haskell] Initial Algebras: Part I (F-Algebras) · HackerTrans