性質
可換
結合的
冪等
決定的
非決定的
多相
単相
準同型
Unboxed
非推奨