いくつかの総称コマンドの例

• pass<T> :: T -> T;
• length<T> :: list<T> -> number(minimum=0);
• dup<T> [integer(minimum=0) n] :: T -> list<T>; //同じデータをn個並べたリスト
• first<T> :: [T, _*] -> T; //リストの先頭
• rest<_T*> :: [_, _T*] -> [_T*]
• leaves<T> :: tree<T> -> [T*]; //ツリーの末端を集めてリストにする
• pair-fst<S, T> :: Pair<S, T> -> S;
• pair-snd<S, T> :: Pair<S, T> -> T;