There sure is! Your Partiality monad is a free monad: import Control.Monad.Free -- from the `free` package type Partiality t = Free ((->) t).
確定! 回上一頁