Simplify typeclass instances