a uniform method to access data on file

uniform means:
- same functions with identical semantics independent of representation
- all functions are total (or become so using Maybe or Either)