var a : Type;

type FiniteSet: Type -> Type;

ops {} : FiniteSet a;

{__} : a -> FiniteSet a;

__ + __, __ - __ : FiniteSet a * FiniteSet a -> FiniteSet a