Each time you want to write such callback, you'll need a special userData struct right ? otherwise you'll have a generic bag and lose typechecking.

Let's say Closures are free typed anonymously defined structs.