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