Inferring Implicit Inference