そっか、taruninのライブラリがやるのはgeneric structのcovarianceの話か