Wibble to Taming the Kind Inference Monster