Function local 

pub fn local<'a, E, M, F>(f: F, rdr: ReaderT<'a, E, M>) -> ReaderT<'a, E, M>
where
    F: 'a + Fn(E) -> E,
    E: 'a,
    M: 'a,