Mejores tipos para propagar la información de contexto y evitar que los estados ilegales puedan ser representados.

Sin el soporte adecuado, hasta el problema más sencillo necesita una solución compleja.

Un caso práctico de property-based testing.

Mi primer intento de modelar un dominio complicado mientras aprendo programación funcional.

Segunda parte de la Coffee Machine kata. Ahora con más tagless-final y más cats-effect.