RE: Deriviable type classes