more IP breakage

[lewie]

x () = y where y = ?wibble

Yields:

    Could not deduce `?wibble :: t' from the context ()
    Probable fix:
	Add `?wibble :: t' to the banding(s) for {y}
	Or add an instance declaration for `?wibble :: t'
    arising from use of implicit parameter `?wibble' at
T.hs:16
    in the definition of function `y': wibble

What, by the way, is a `banding'?