<div dir="ltr">Hi all,<br><br>While there is a way to expand type synonyms in type errors (-fprint-expanded-synonyms), as far as I know, the same doesn't exist for type families. For example, the following<br><br>type family Foo a where Foo Int = String<br>type family Bar a :: Maybe (Foo Int) where Bar a = '()<br><br>results in the error<br><br><div>Expected kind `Maybe (Foo Int)', but '() has kind `()'</div><div><br></div><div>where I'd like to see "Expected kind `Maybe String'".<br></div><br>I'd be interested in trying my hand at implementing a way to see this, either by adding it to -fprint-expanded-synonyms, or as a new flag.<br><br>Three questions:<br> - Is there already a way to do this that I'm missing?<br> - Are there reasons for why this would be a bad idea?<br> - Would a proposal be necessary for this?<br><br>Thanks,<br>Jakob</div>