Merged runtime and compile-time types.