Some really interesting design choices here: Haskell/ML style FP base, fibers as a concurrency primitive, both exceptions and ADTs.

More than those, I LOVE the macro system. Such a clean syntax!