NumHask.Algebra.Singleton
class
Singleton
f