How to define an operator to show a sequence of polymorphic things