なるほど。Coqを学ぶとHaskellの型システムの理解が深まる感じですか。