Estadísticas de Teoría de categorías aplicada a la programación funcional con Agda.