If typeclasses are well-designed, they can be auto-imported. Sadly, it's not a common design in practice.