but there's no way to abstract entirely over where...
# arrow
j
but there's no way to abstract entirely over where fx comes from? has to be concretely concurrent or monad or wahtever?