@jnkrtech it's kind of interesting that

a lot of untyped functions have weird typechecks, overloads and stuff going on

but gradual typing assumes you'll only give one type to a function?

… and especially in PureScript and stuff, you're encouraged to only FFI the general form of the function that suffices for its behavior, and not mess around with fancy types if you can help it at all.

but if you needed to, you would just FFI the same function twice with different type ascriptions