Finally reaching the state when I can read two reader monads
Bring the rest of the code into consistency