1      let Semigroup = ./../Semigroup/Type
2  
3  in  let Monoid = ./Type
4  
5  in  λ(m : Type) → λ(t : Monoid m) → t.{ op } : Semigroup m