Use Monad Transformers (MaybeT) to handle Maybe + IO monadic results returned from reading in file contents with Data.Aeson.