Dear Café,
My quest for obtaining information about type families continues.
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 ;(
Thanks in advance,
Alejandro