package church.lang;

@SuppressWarnings("unchecked")
public class Collections {
    public static interface $Empty_set<C> {
        public C empty_set();
    }

    public static interface $Size<C> {
        public int size(C a);
    }

}