typo
add Using Typeclasses section