tcPolyCombi only typechecks a single binding