file opening and reading with monadic underscore.