or if you prefer another typeclass in context
# arrow
p
or if you prefer another typeclass in context