<http://arrow-kt.io/docs/typeclasses/intro/>
# arrow