є базовим поняттям в теорії предикатів

є параметром нагромадження для оптимізації рекурсії

є абстрактним типом даних

використовується для обробки помилок

є функцією вищого порядку

є рекурсією вищого порядку