I like the direct approach to Union and Intersection Types. I wonder if the goal of making the language 'immediately readable to people who aren't Ceylon progr

I like the direct approach to Union and Intersection Types. I wonder if the goal of making the language 'immediately readable to people who aren't Ceylon programmers' limits them too much. This might be why the type signature for functions in `void repeat(Integer times, void iterate(Integer i))` is so macabre. Tuples and comprehensions are always nice. The 'tree syntax' stuff seem a lot like JSON-javascript, which I guess has found it useful. At the end of the day I'm not convinced why this is a better language than the lot of JVM languages out there.