inferred type arguments [Hoge,Hoge] do not
conform to method ~'s type parameter bounds [AA >: Hoge,R]

ってどういう意味ですか？