FPTS es una biblioteca de programación funcional que ofrece tipos de datos como Option y funciones auxiliares, además de clases de tipos para implementar polimorfismo ad-hoc, facilitando así la creación de estructuras de datos más robustas y seguras.