Do we compile mutually recursive functions correctly?

[effectfully]

In #5961 we learned that we used to compile singly recursive functions incorrectly due to accidental laziness in the fix combinator. What about fixBy though? Do we have the same issue there or not? This ticket is for figuring it out.