tak :: Int -> Int -> Int -> Int
tak x y z | x <= y = y
          | otherwise = tak (tak (x-1) y z) (tak (y-1) z x) (tak (z-1) x y)