calling wrong error when missing class
improved documentation on defining new typeclasses&instances