modulo de tipos completos