Update: This has been implemented and released in fay 0.19
Sorry for the delay! Jetlag got me :(
I think this just hasn't been implemented yet. Initially ffi was only supported on the top level, then ffi expressions were added which need the type signature next to the expression ffi "alert('foo')" :: Fay ()
. I don't think anyone ever got around to doing it for where statements as well.