Associative

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

results matching ""

    No results matching ""