context commerce.orders {
  exports opaque      { OrderId }
  exports transparent { OrderError }

  type OrderId    = String where Matches("ORD-[0-9]+")
  type OrderError = enum {
    EmptyCart,
    InvalidQuantity,
  }
}
