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