interface Set
    exposes [ isEmpty ]
    imports []

## Check

# isEmpty : List * -> Bool