[Haskell-cafe] singToList

Hello cafe, Does a function like `singToList` exist somewhere: singToList :: Sing (xs :: [k]) -> [SomeSing k] singToList = \case SNil -> [] SCons x xs -> SomeSing x : singToList xs ?