Bagaimana Memfaktorkan Continuation Monad ke dalam Adjoint Kiri & Kanan?
Sebagai Negara monad dapat difaktorkan menjadi Produk (Kiri - Functor) dan Pembaca (Kanan - Representable). Apakah ada cara untuk memfaktisasi Monad Lanjutan? Kode di bawah ini adalah upaya saya, yang tidak akan memeriksa jenis -- To form a -> (a -> k) -> k {-# LANGUAGE MultiParamTypeClasses, TypeOperators, InstanceSigs, TypeSynonymInstances …