Приклад програми: if' :: Bool -> a -> a -> a if' True x _ = x if' False _ y = y C-подібні мови Мова C і подібні їй мають спеціальну тернарну умовну операцію (?:) для умовних виразів. Її сутність можна описати таким чином: умова ? обчислюється_коли_умова_дійсна : обчислюється_коли_умова_недійсна Таким чином, тернарна операція може бути вбудована у будь-який вираз, на відміну від умовного оператора. У C-подібних мовах вираз my_variable = (x > 10) ? "foo" : "bar"; // In C-like languages