Let the below " {| a |m} " represent some piece of monadic data. A data type which advertises an a : (I got an a!) / {| a |m}.
確定! 回上一頁