wrong "singletons"

http://stackoverflow.com/questions/16017294/singleton-types-...

Singletons are a way to emulate dependent types with typeclasses, datakinds, and GADTs