T.Enum made leanient like T.Or and will soon replace it. Its advantage is contextualization of T.Data recursive types