what do the :> and :< operators mean in this context, I though they were used for indicating sub/super types?