minimal specs for new typeclasses