AtLeastOne
case
Represents x..y cardinality where x > 0, should be some non-empty list type *
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Cardinality
class Object
trait Matchable
class Any
Represents x..y cardinality where x > 0, should be some non-empty list type *