On Fri, Nov 09, 2018 at 10:59:03AM +0100, Johannes Waldmann wrote: > can we automate something like the following > > for any type T that appears in signatures (shown by haddock), > add (separate) lists of "functions that produce T", > "functions that consume T". This is a very nice idea.