A type is a claim, not a check