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