add dlist-instances with Semigroup instance