seems to be required to have things in separate pa...
# arrow
j
seems to be required to have things in separate packages. is that always going to be required if defining your own typeclasses?