Just as we think of a monadic type m a as representing a 'computation delivering an a '; so we think of an arrow type a b c , (that is, the application of ...
確定! 回上一頁