type-nats.md

@@ -11,6 +11,7 @@ This page collects information on how to work with type-level natural numbers, a
 
 ## Implementation and Design Issues
 
+- [Alternative Design For Singletons](type-nats/alternative-singletons)
 - [Alternative Design For Singletons](type-ntas/alternative-singletins)
 
 - [Implementation of {{{GHC.TypeNats}}}](type-nats/implementation)