ついに高カインド型が欲しいところまで来たんですか