Есть ли у Haskell эквивалент способности Алисы связывать переменную с будущим?

val a = spawn foo;

где foo - это некоторая функция.

Я знаю, что Haskell поддерживает каналы и потоки; Я надеюсь, что синтаксис, столь же естественный, как у Алисы, связывает значение с будущим и порождает поток для его вычисления без необходимости разбираться с деталями.