IDEMPOTENT
idempotent, but may have side effects
trait Singleton
trait Product
trait Mirror
trait Recognized
class IdempotencyLevel
trait GeneratedEnum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
idempotent, but may have side effects