He quit because he found type classes to be both insufficient and a lot of trouble for this purpose. My impression is that he would love to work on a new langua

He quit because he found type classes to be both insufficient and a lot of trouble for this purpose. My impression is that he would love to work on a new language targeting the same problem but making some different engineering tradeoffs. I hope he manages to secure funding so he can do that, BitC was a very interesting project.