It would be better if the types of exceptions that might be raised by functions were also migrated along with their argument and return types. For example, Migrate_parsetree_parse.implementation may raise Warnings.Errors which has a different arity between 4.05 and 4.06.