let empty =
    constant Set.empty