F[F[A, B], C] と F[A, F[B, C]] が同型になる、ということを表す型クラスです。 具体的には、Tuple2やEitherなどがインスタンスになります。
F[F[A, B], C]
F[A, F[B, C]]