If the type system already trivially enforces your custom invariants, aren't the types defined by your classes already in it?