Agda.Utils.Singleton

class Singleton el coll