Tipos de Singleton en Haskell - edu.lat

Haskell singletons: ¿Qué ganamos con SNat? - edu.lat

scala - No se puede probar que los tipos singleton son tipos singleton mientras se genera la instanc