T9574.hs:13:5: error: [GHC-53634]
    The RHS of an associated type declaration mentions out-of-scope variable ‘o’
      All such variables must be bound on the LHS