Implementation bindings no longer need to respecify type