Lift some constraint on the monad in  and use that to pass the config around as a Reader in the new profile extractor script