うやむやで終わる記事なので事前にご了承ください。 前回のあらすじ （前回などないので探さなくていいです。） 高カインドデータ型（Higher-kinded Datatypes; HKD）というものがあります。 fumieval.hatenablog.com qiita.com 簡単に説明すると下記のよう…