Od zarania dziejów poszukujemy ogólnej teorii wszystkiego, ale wynik tych poszukiwań cały czas pozostawia więcej niedosytu niż satysfakcji. Fizyka ugrzęzła na manowcach modelu standardowego... Spróbujmy zatem popatrzeć na wielopiętrowe regularności tego świata (piękno?) od strony skromnych, prostych ram, jakie proponuje teoria kategorii. Wśród wielu struktur, prostych i skomplikowanych, ujrzymy programowanie funkcyjne z całym bogactwem jego form, których istnienia nawet nie podejrzewaliśmy. W skrócie zatem -- parę słów o Haskellu oraz o funktorach i monadach.