Bueno, estoy meta darle vueltas al asunto pero no me logro dar cuenta cómo es que hay que usar esta táctica. En internet hay unos ejemplos que no logro comprender muy bien y termina pareciendo medio mágico. Veo que en muchos casos le ponen un fun x => algo adentro del paréntesis.
No logro entender bien cómo es que hay que engancharlo con lo que se quiere demostrar, siempre me salta un error de tipos. Además, me gustaría entender bien cuando es que se usa _ y como es el tema del match adentro del refine.
Por último, me serviría pila si alguien me pudiera tirar algún ejemplo entendible.
Gracias !