The Semigroup instance and append in #30 are implemented as foldl snoc that appends successive elements from the CatQueue on the right. In most cases, that's probably what you'd want. One could also implement a prepend as a reverse and foldl cons of elements from the left CatQueue.