functional programming - tipos - ¿Se debe escribir estáticamente un lenguaje que implementa mónadas?