You can encode logic into types making what were previous runtime logic errors compile time errors.