deniok

А теперь смешное.

Пусть наша "хорошесть" — это просто Bool, в смысле "подходит/не подходит".

data A = X | Y

Для конечного типа можно сделать совершенно точную поисковую функцию:

a :: Quest Bool A
a = Quest (\h -> if h X then X else Y)

Конечно, если наш критерий не выполняется никогда, то мы получим не подходящий ответ; но это лучшее, что мы можем сделать.

Для пар точная поисковая функция делается очень просто:

aa :: Quest Bool (A, A)
aa = liftM2 (,) a a

А теперь берём потоки:

data Stream = Stream A Stream

и определяем поисковую функцию:

stream :: Quest Bool Stream
stream = liftM2 Stream a stream

Самое смешное, что это работает. Но! Если наш критерий — тотальная функция. Тогда поиск найдёт нам то, что надо.