연속 모나드를 왼쪽 및 오른쪽 인접 요소로 분해하는 방법은 무엇입니까?
State monad는 Product (Left-Functor) 및 Reader (Right-Representable)로 분해 할 수 있습니다. Continuation Monad를 분해하는 방법이 있습니까? 아래 코드는 확인을 입력하지 않는 내 시도입니다. -- To form a -> (a -> k) -> k {-# LANGUAGE MultiParamTypeClasses, TypeOperators, InstanceSigs, TypeSynonymInstances #-} type (<-:) o i = i -> o -- I …