traverse
  :: [Int]  -- previous row
  -> [Int]  -- current row
  -> [Int]  -- traversed row
traverse p = traverse' (0 : p)
traverse
  :: [Int]  -- previous row
  -> [Int]  -- current row
  -> [Int]
traverse p = traverse' (0 : p)
traverse p = traverse' (0 : p)