1..n typed as 0..n ()