defis not an expression
val x = def ...?
() => Ais a good candidate?
defis enough to ensure referential transparency, which it isn't
def + by nameis, and in that model
valis the equivalent of
IO[A] = () => A, which has the limitations outlined above
def t: Awith
val t: () => A)