Specify typeclasses explicitly