I can appreciate the pain of trying to bind against GTK4 with a functional language. You definitely get a lot of difficult-to-verify and special-case boilerplate C code.