Missing types in marimo notebooks

[thisismygitrepo]

Describe the bug

I understood that Marimo prides itself for being a nice .py file. That said, when I add those notebooks to my repo, my linters and type checkers start to complain as below.

PS: I know that notebooks are meant for scripting and exploratory work, not rigorous coding, but if I keep using them, they will make visual clutter and pollute the workspace with type-hinting related issues.

Do you guys offer a neat solution for this?
If not, I propose an opt-in option to silence it with generic : Any, unless user passed the type.

Will you submit a PR?

• Yes

Environment

Replace this line with the output of marimo env. Leave the backticks in place.

Code to reproduce

No response