Use ReaderT instead of typeclass approach for getting Provider

[martyall]

I think we agreed to leave the module's the way they are for the moment, I will merge this if you revert to just the ReaderT changes