<https://arrow-kt.io/docs/typeclasses/monad/#foref...
# arrow