bug with Zero and typeclasses fixed by Edwin