BLOG

trait
Technology

トレイト境界は加法群なのか？