DerivingVia
https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0120-deriving-via.rst
モチベーション
同型な2つの型があったときに，型クラスのインスタンスの実装を共有できちゃったりしない？？
#GHC_Language_Extensions
#Haskell