トレイトの継承制約 aba5139 と、scalaz a53ee9e と両方やってみました。