the compiler infers which instance of a typeclass ...

# arrow

[tomasruizlopez]

the compiler infers which instance of a typeclass it needs for every parameter in a function, looks for it and passes it automatically, or you can still force the exact one you want to use