def .. deriving

Stream: mathlib4

[Yury G. Kudryashov]

I have an impression that some random typeclasses work with

def Ennreal := WithTop ℝ≥0 deriving Zero, AddCommMonoidWithOne, SemilatticeSup, DistribLattice, OrderBot,
  BoundedOrder, CanonicallyOrderedCommSemiring, CompleteLinearOrder, DenselyOrdered, Nontrivial,
  CanonicallyLinearOrderedAddMonoid, Sub, OrderedSub, LinearOrderedAddCommMonoidWithTop

and other don't. Is there a simple rule? For now, I'm moving instances that fail to separate instance lines.