matheuslessarodrigues/patternmatching archive