Type-level sets based on shapeless ideas