[Haskell-cafe] a finite free category