so typeclasses are extension interfaces
# arrow
p
so typeclasses are extension interfaces