generated at
DerivingVia

モチベーション
同型な2つの型があったときに,型クラスのインスタンスの実装を共有できちゃったりしない??