Simplify `mainArgs`, add `ToResult` instance for animations.