foo ::
  -- | start index
  Int ->
  -- | length
  Int ->
  t a ->
  t a