Semantic names are not really useful when you are ...
# arrow
r
Semantic names are not really useful when you are encoding abstractions and most building blocks in Arrow are derived from type classes aside the coroutines machinery for the binding syntax