Notaciones infijas con variables de tipo explícitas