Shapeless庫提供了許多功能，主要用于類型安全的編程和元編程。其中包括以下功能：
HList：支持類型安全的heterogeneous lists，允許在編譯時捕獲關于列表元素類型的信息。
Coproduct：支持類型安全的heterogeneous unions，允許在編譯時捕獲關于union成員類型的信息。
Generic：提供了將 case class 轉換為 HList 或 Coproduct 的功能，以及反向轉換的功能。
LabelledGeneric：與Generic類似，但使用Symbol表示字段名稱，提供了更加具體的信息。
Poly：提供了類似于函數式編程中的map/reduce等高階函數的功能，用于操作HList和Coproduct。
Witness：用于提取類型信息的工具，可以用于自動生成類型證明。
Typeable：用于在編譯時捕獲和操作類型信息。
Singleton types：提供了編譯時單例類型的支持，允許在編譯時檢查和使用單例值。
這些功能可以幫助開發者實現更加靈活和類型安全的編程，提高代碼的可維護性和可擴展性。
