csAppend (CSCtl ah at) b                    = CSCtl ah $ csAppend at b
csAppend (CSCtl ah at) b                    = CSCtl ah $ csAppend at b
csAppend (CSCtl ah at) b                    = CSCtl ah $ csAppend at b