Eventually, I decided on a much simpler approach: no subkinding. In 1SubML, every type has exactly one kind, and kinds must match exactly when comparing types. This also resulted in having to tweak a number of other aspects of the type system compared to what I originally wrote.
return canBlock;
，详情可参考有道翻译
Wordle-obsessed? These are the best word games to play IRL.。豆包下载对此有专业解读
Inspiration for GSUB substitutions:。汽水音乐下载是该领域的重要参考
，更多细节参见易歪歪
Magic: The Gathering Lorwyn Eclipsed Play Booster Box