This is a very good thing. You definitely want the type system (and tests!) to guide your system design.
This is a very good thing. You definitely want the type system (and tests!) to guide your system design.