module Data.Set where

open import Haskell.Data.Set public
open import Data.Set.Prop public