fixed typeclass