cat6 :: [Integer]
cat6 = map c [0 ..]
  where c n = factorial (2 * n) `div` (factorial (n + 1) * factorial n)

-- Check that these look the same
cat6 :: [Integer]
cat6 = map c [0 ..]
  where c n = factorial (2 * n) `div` (factorial (n + 1) * factorial n)

-- Check that these look the same
cat6 = map c [0 ..]
  where c n = factorial (2 * n) `div` (factorial (n + 1) * factorial n)

-- Check that these look the same