この方式の型表記は複雑な型にも適宜対応しますが、 実際、現行の実装には、複雑さを制限するいくつかの制約があります。 具体的には、現行の実装では基本型、基本型のタプル、オブジェクト・コレクション、文字列コレクション がサポートされ、 さらに、これらの型のいずれかを取っていずれかを返す関数がサポートされています (戻りの型のタプルを除く)。 また、型 (object → string) x object collection → string collection (組み込み関数のマップ型)、(object → boolean) x object collection → object collection (組み込み関数のフィルター型) など、 他にもトラバースとソート用の型の特殊なサポートもあります。