Máximo y Facu nos muestran nuevamente como derivar los tipos de un mensaje, en este caso reduce, de manera iterativa/incremental, con el adicional de definir cómo testear directamente los tipos estáticamente.

Otra manera muy interesante y distinta a la clásica de derivar tipos.