La llamada por patrones es una operación compleja que puede definirse con ayuda de dos primitivas, El operador "is" permite identificar el caso particular de una definición y la definición estructurada de variables permite obtener los componentes de un caso ya identificado: