You could have used [Exts.interface](https://github.com/dbuenzli/topkg/blob/master/pkg/topkg.ml#L24) for that one.