Úkoly č.6

1. Vraťte se k třídám (strukturám) Light a CheapLight z minulého semináře a pokuste se odstranit redundantní kód.
2. Vytvořte multimetodu (inf a b) infimum dvou hodnot. Multimetoda by měla fungovat pro typ:
   • Integer a běžné uspořádání čísel (odpovídá funkci min),
   • Set a relaci být podmnožinou (odpovídá průniku množin),
   • a pro množinu symbolů {a, b, c, d}, které jsou uspořádany a < b, a < c, a < d, b < d, c < d.
3. Vytvořte proceduru (pmin xs), která nalezne nejmenší prvek neprázdné kolekce xs s využitím více vláken. Nepoužívejte interní proceduru min.