TS types missing for some code examples

[babakfp]

https://markojs.com/docs/marko-run/file-based-routing#handler

Does these code examples don't need TS types? I tried them out and they are not type safe. no auto compilation, no nothing.

for example the above can, based on the docs, gives you context, next but it's not type safe.