1      let Functor = ./../Functor/Type
 2  
 3  in  let ReaderT = ./Type
 4  
 5  in  let Reader = ./../Reader/Type
 6  
 7  in  let ReaderF = ./../Reader/functor
 8  
 9  in  let ComposeF = ./../Compose/functor
10  
11  in    λ(r : Type)
12      → λ(m : Type → Type)
13      → λ(functor : Functor m)
14      → ComposeF (Reader r) m (ReaderF r) functor : Functor (ReaderT r m)