Interesting. The first example extending an interface is exactly what you're trying to avoid with typeclasses.