I wouldn't use it yet for real projects. Even getting the compiler to work can be tricky sometimes. For example, when writing a function with generic argument constraints, I sometimes had to flip the LHS and RHS to get things to compile where it made no logical difference. (e.g., S.Generator.Element == X instead of X == S.Generator.Element).
