Or `throw new EofException()` which lets the type system do the work