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