monadic::reader
pub fn local<'a, E, A, F>(f: F, rdr: Reader<'a, E, A>) -> Reader<'a, E, A> where F: 'a + Fn(E) -> E, E: 'a + Clone, A: 'a + Clone,