<div dir="ltr">Dear Café,<div>My quest for obtaining information about type families continues.</div><div>Now I have a simple question: how should I access the information about "type instance"s via the GHC API? My aim is to do so after type checking, that is, to get that information from a TypecheckedModule. However, I haven't yet been able to touch the right buttons to make it work ;(</div>

<div><br></div><div>Thanks in advance,</div><div>Alejandro</div></div>