opts: Do not rely on the implicit fixing of type bounds