Un poco de "entretenimiento": Loki-like type traits