Informatyka MIMUW

Zaprojektuj i zaimplementuj podane funktory:

1. Monoid składania funkcji -- funktor, który dla określonego typu t konstruuje
   monoid z funkcją identycznościową i operacją składania funkcji (na t).
2. Zdefiniuj funktor, który dla danego monoidu definiuje operację potęgowania.
3. Zdefiniuj funktor, który na podstawie dwóch porządków liniowych tworzy porządek leksykograficzny na parach odpowiedniego typu.