Oh, it was great. I went to a conference about this programming language. It is a statically typed language with type inference that compiles to native code, with great support for functional programming and strictly monadic error handling. And it's not even garbage collected!