1      let Monad = ./../Monad/Type
 2  
 3  in      ./applicative
 4        ∧ { bind =
 5                λ(a : Type)
 6              → λ(b : Type)
 7              → λ(fa : ./Type a)
 8              → λ(k : a → ./Type b)
 9              → k fa
10          }
11      : Monad ./Type