Applied the hylomorphism fusion again.