나는 다음과 같은 두 가지 Kleisli 화살표를 한 경우 : 내가 좋아하는가 someting 쓸 수 있도록하고 싶습니다 stdoutProcessA :: Kleisli Maybe String (IO String)
writeToFileA :: Kleisli Maybe (FilePath, String) (IO())
: 물론 작동하지 않습니다 compile
중첩 된 데이터 구조가있을 때 필자는 수동으로 코드를 작성하여이를 조사했습니다. 이처럼 : Prelude> let t f n = (iterate map f) !! n
<interactive>:35:22:
Occurs check: cannot construct the infinite type: b0 = [b0]
Expected type: