|| package:singletons-base

Type-level "or"
Disjunction of singletons