Bluefin compared to effectful [video]

[jaror]

@tomjaguarpaw

Perhaps, depending on how you define “one”. But that “one” can be can be a dynamic implementation, which can itself be filled in with the true, static, implementation somewhere else.

Your example hard codes the r <- ask re; runReader r k behavior. I don’t think you can change that as as a caller of the local operation.