The way you mark it is with a specific constructor, which a simple type-synonym doesn't allow you to have. Equi-recursive types allow the ...
確定! 回上一頁