For one, I expect a big design debate on syntax. U...

# arrow

[elizarov]

For one, I expect a big design debate on syntax. Using F<_> to denote type constructors might work, but it is not consistent with the syntax for functional types. We don’t denote functional types like f(_): _ do we?