translating working lua code (for hammerspoon) to fennel; expected userdata type

Question

Caveat: I don\'t really know lua or fennel, though I do have a lot of experience in lua-like languages (python etc.) and fennel-like languages (clojure, elisp, etc.).