Scalaはなんとなく書けるようになったけどライブラリコードとか読めないし、関数型はもっとわかない。
特にF[_]みたいなやついっぱい出てくるけどなに？みたいな人に捧げる記事です。

このようなものは高カインド型などと呼ばれ、なかなか理解が難しいものです。
型のさらなる抽象化の旅に出ましょう。

これはUnderstanding F[_] in Scalaの日本語訳です。