>>612
レスありがとうございます。例が不適切＆説明不足でした。
Dtは定義済みの関数の一つという意味で使いました。
パターンがマッチしてるのになんで置き換えてくれないんだ〜と