>>876
いいたいことは分かるが、論理的に全然包含関係の否定になってない気がするが

否定したければ、非オブジェクト的なクロージャが存在することを示すしかないぞ
無いでしょ？
一方、全てのクロージャは>>866の定義なら自動的にオブジェクトだし
それは関数型だろうが変わらんでしょ