goldfirere/singletons — pull request #91 by konn (2014-08-14 12:25:44+00:00)
Title: Changed to export SSym and SNat

`SSym` and `SNat` is currently not exported so we can't make any use of `sError` or comparison with type-level natural. So I changed to export both from `Data.Singletons.TypeLits` module.