追記: はてぶのterazzoさんのコメントにあるように、単に public <S, T extends S> void assertEq(S a, T b){ } でいい気がする・・・orz はじめに、scalaz の assert_=== って書きましたが、Equal のインスタンスを要求しないので、かなり別のものです、すいません。(いい題</s,>…