
 0 | module Sortable
 1 | 
 2 | %default total
 3 | 
 4 | public export
 5 | interface Sortable (s : Type -> Type) where
 6 |   empty : Ord a => s a
 7 |   add : Ord a => a -> s a -> s a
 8 |   sort : Ord a => s a -> List a
 9 |