state-transitions-should-produce-new-types ~= objects should have 1 method and no more