Em vez de usar '_' explicitamente para ignorar não unificar padrões usamos o construtor 'Ign', deste modo podemos generalizar os tipos contidos nas expressões