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*]; //ツリーの末端を集めてリス</t></t></_t*></t></t></t></t></t></t>…