Re: [Haskell-cafe] a finite free category