Currently this python.callback((_, _) always gives a type error, becuase it seems the jscallback default to void which is not a PythonConvertible.

Currently the workaround is to always annotate the type, mostly like this python.callback((_, button: Gtk_.ToggleButton): undefined

If void can be add as a PythonConvertible this would remove this unnecessary typing.