It might help to make the difference more obvious by also showing the parts which unify properly, or introduce alias variables for complex type expressions (fo

It might help to make the difference more obvious by also showing the parts which unify properly, or introduce alias variables for complex type expressions (for instance "(int * float array) list as 'a") to move away some of the noise in the error.