1      let Applicative = ./../Applicative/Type
 2  
 3  in  let ReaderT = ./Type
 4  
 5  in  let Reader = ./../Reader/Type
 6  
 7  in  let ReaderA = ./../Reader/applicative
 8  
 9  in  let ComposeA = ./../Compose/applicative
10  
11  in    λ(r : Type)
12      → λ(m : Type → Type)
13      → λ(applicative : Applicative m)
14      → ComposeA (Reader r) m (ReaderA r) applicative : Applicative (ReaderT r m)