[Haskell-cafe] singToList

[Dmitry Olshansky]

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

?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20171230/04ec903d/attachment.html>