Simplify the type signature for tcPolyBinds