
 0 | module Set
 1 | 
 2 | %default total
 3 | 
 4 | public export
 5 | interface Set (s : Type -> Type) a where
 6 |   empty : s a
 7 |   insert : a -> s a -> s a
 8 |   member : a -> s a -> Bool
 9 |