You don't need to qualify `B` here (as `OpamTypes` is open and have all the right type declarations)