Documentation for the Effectful FileIO