It's coming back to me!

Generally we can't force here since fayObj can be a `Fay x` (has side effects). The proper fix is to have the code generated by the strict-wrapper use the correct type instead of `"automatic"`. This is doable, we can just error if there isn't an explicit type signature and you use `--strict`. We also already have code to produce this in the FFI which can be reused.