型宣言、ホーアトリプル、関数定義に質的な違いはない。量的な違いがあるのみで同じ。つまり、程度問題に過ぎない。プロファイルのコンフォーマンス計算（すぐ上のエントリー）で扱いたい。

単一のプロファイルではなくて、プロファイルセットを考えて、コンフォーマントという順序関係で（上か下に）閉じたものを考えて、そのなかで計算をする。型とカインドの計算はこうしないとうまくいかないと思う。