次の構文を使ってタイプ付き関数を呼び出します。
>>-name-+------------------------+----------------------------->< | .-,------------. | | V | | '-(:---+----------+-+-:)-' '-argument-'
タイプ付き関数の引数は、区切り文字 (: および :) で囲みます。