Criando novo tipo genérico com DerivingVia
