redukce
-rw-r--r-- 1841 Lambda.hs