<div dir="auto">He he, while I was poking about in the type inference code ...</div><div dir="auto"><br></div><div dir="auto">There's an experimental command `:xplain` instance resolution.</div><div dir="auto"><br></div><div dir="auto">The code to implement it needs switching on with a preprocessor flag set in <a href="http://options.h.in">options.h.in</a> then ./configure and recompile Hugs.</div><div dir="auto"><br></div><div dir="auto">Use it by giving a constraint to be explained:</div><div dir="auto"><br></div><div dir="auto">Hugs> :x Show (Maybe [Int])</div><div dir="auto"><br></div><div dir="auto">(It seems a bit temperamental, fair enough for a hidden feature: if it can't resolve an instance, it'll say so, but also give some misleading messages with fragments of code leftover from previous uses.)</div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto">AntC</div>