thunk

val thunk: () -> Eval<A>