there can only be one implementation per typeclass...
# arrow
p
there can only be one implementation per typeclass-type pair, so you need to use an inline class to wrap them