links-lang/links — pull request #15 by fehrenbach (2014-11-12 11:35:52+00:00)
Title: Print offending field name on unification failure.

Types involving database tables tend to be pretty verbose. Diffs on types would be great, and pretty printing, but for now I propose to at least print the offending field's name when unification fails.