Let's say I have an Eq instance for String and Int...
# arrow
s
Let's say I have an Eq instance for String and Int