Could we give codec a default argument of UTF8? So `implicit codec: Codec = Codec.UTF8` for that arg. Otherwise we force all users of `linesR` to import `Codec` explicitly. There's an argument to be made for just making the `Codec` explicit everywhere, but since utf8 is so common, I'd rather just make it the default.