Sounds interesting. I like that algebra types are available in an OO Language.

http://tutorial.ponylang.org/capabilities/introduction/ is the best concise description why concurrency is hard I read until now.