you write code to the abstraction provided by a ty...

# arrow

[pakoito]

you write code to the abstraction provided by a typeclass interface over any container that defines it, so you’re limited to the functions inside that interface