shapeless

root

singleton

Enumeration Finite