>traitはHaskellの型クラス
ダウト
高階型も使えない
型引数つきの実装と具体型実装が(stableでは)共存できない
こんなもんを型クラスといっしょにしたらHaskellerに総括されるぞ