ScalaのF[_]と高カインド型(Higher Kinded Type)を完全に理解していく