This will be used for compiler-driven type erasure for dynamic replacement of functions with an opaque return type.