Compiling Hierarchy/Type_class_instance in v8.4