Agda.Utils.Singleton
class
Singleton
el coll