Wrote the fixpoint fusion function. Not yet tested in any way though.