1      let DifferenceList = ./Type
2  
3  in  let Monoid = ./../Monoid/Type
4  
5  in  let append = ./append
6  
7  in  let empty = ./empty
8  
9  in  λ(a : Type) → { op = append a, unit = empty a } : Monoid (DifferenceList a)