You can build with runtime checks that help find all the issues. It's suprisingly effective, probably more effective than actually doing it in the type system.