Module Endo.Magma

type 'a t = 'a endo
val append : 'a t -> 'a t -> 'a t