2
ওয়াই সংযুক্তকারী কি কারি-হাওয়ার্ডের চিঠিপত্রের বিরোধিতা করে?
ওয়াই কম্বিনেটরের টাইপ । কারি-হাওয়ার্ডের চিঠিপত্রের মাধ্যমে, কারণ এ প্রকারের বাস, তাই এটি অবশ্যই একটি সত্য উপপাদ্যের সাথে সঙ্গতিপূর্ণ। তবে সবসময় সত্য, তাই এটি যেন উপপাদ্য y টু combinator ধরন অনুরূপ মনে হচ্ছে, , যা সবসময় সত্য নয়। এটা কিভাবে হতে পারে?( a → a ) → a a → …