Los módulos funcionales definen tipos de dato y operaciones sobre ellos en forma de teorías ecuacionales.