The factory bit was just further following state-transitions-should-produce-new-types