但是這三條式子還不完整，目前還不知道這個單位元（Id）會是什麼，根據Monad 的 ... f: (a -> Mb) g: (b -> Mc) h: (c -> Md) // 左單位元(a -> return(a)) bind f = f ...
確定！ 回上一頁
