Chargeback type
Object -> Assertion, factor things out of sum type