Make sure to specialize everywhere