orthoxerox

@Richiban you could *probably* rewrite the grammar to make blocks expressions, but `return` is out of the question, since it always returns from the method, not the innermost block.

I'd say a sequence expression should have its own scope. Variables declared inside it do not leak outside. Are there any leaky variables beyond out vars that might complicate the...

Oh, right. But I think they have the same solution, since they are leaky for the same purpose.

In my old prototype I parsed them in `ParseCastOrParenExpressionOrLambdaOrTuple` before trying a paren expression or a tuple. But back then only declarations were allowed as statements inside a sequence expression,...

Please consider type classes on generic types as well.

@gafter the proposal might have evolved since I last read it, but I remember that a monad concept could be implemented only in a very convoluted way, the signature of...

That's what I meant.

@gafter >Are higher-order types related to type classes, or orthogonal (but perhaps complementary) to them? Related, since you can only express a subset of type classes without them (Show, Read,...

@Thaina the answer is no, it doesn't. Open a separate issue if you want anonymous concepts.

HKT emulation via associated types is included in the new prototype: https://github.com/MattWindsor91/roslyn/blob/2017-stable/concepts/docs/writeup.docx