
 0 | module CatenableDeque
 1 | 
 2 | import public Deque
 3 | 
 4 | %default total
 5 | 
 6 | public export
 7 | interface Deque d => CatenableDeque (d : Type -> Type) where
 8 |   (++) : d a -> d a -> d a
 9 |