foo :: (Ord a) => a -> a -> IO () foo a b | a < b = print "left" | otherwise = print "right" main = do foo 24 32