TypeSafe's System One Model: how it works and when to use it