Opacify Functor_eq'_sig better