বাম এবং ডান অ্যাডজিন্টগুলিতে কীভাবে ধারাবাহিকতা মনডকে ফ্যাক্টরাইজ করবেন?
যেমন রাজ্য মনাদকে পণ্য (বাম - ফান্টেক্টর) এবং পাঠক (ডান - প্রতিনিধিত্বযোগ্য) হিসাবে চিহ্নিত করা যায়। কন্টিনিয়েনশন মোনাডকে ফ্যাক্ট্রি করার কোনও উপায় আছে? কোডের নীচে আমার চেষ্টা, যা চেক পছন্দ করে না -- To form a -> (a -> k) -> k {-# LANGUAGE MultiParamTypeClasses, TypeOperators, InstanceSigs, TypeSynonymInstances #-} type …