流れをぶった切って申し訳ないが、質問させてくれ。

関数の型シグネチャのコンテキストの部分でチルダが使われているのはどういう意味？

こんな感じ f :: (C a ~ D) => ...