Monomorphic TrM.A = M.A
     : Set

TrM.A is not universe polymorphic
Monomorphic OpM.A = M.A
     : Set

OpM.A is not universe polymorphic
Monomorphic TrM.B = M.B
     : Set

TrM.B is not universe polymorphic
Monomorphic *** [ OpM.B : Set ]

OpM.B is not universe polymorphic