M Rittri - Proceedings of the fourth international conference on …, 1989 - dl.acm.org
… In the case above, if one cannot find a function of type A + C, and suspects that there are
two functions that go via an unknown intermediate type 8, it is tempting to pose a query …