Felix114：种类

Felix有一个基本的显式kinding系统，主要用于表示约束。