file: trait introduces write: FILE, ioStream -> FILE getLine: FILE -> ioStream remLine: FILE -> FILE
