Action monad now a reader for entity/source state value