Added types for Functor Reader discussion