doesn’t the fact that the lambda is `inline` (with...
# language-proposals
a
doesn’t the fact that the lambda is
inline
(without
crossinline
) means that it will be executed immediately ? but I guess you still need a contracts/effects system to infer that