As in if we can go from `A gt B` and from `B gt C` we can go kotlinlang #arrow

As in if we can go from `A -> B` and from `B -&...

raulraja

11/28/2017, 1:23 PM

As in if we can go from

A -> B

and from

B -> C

we can go from

A -> C

and back where

A, B, C

are different product types with the same arity and types in their product representation.