That is why you make them separate. You only really start taking advantage of the type system after you learn to encode system invariants and rules into the type system.