#743 tel Comment 743 It is along the right lines, but it takes a twist on intuition to get there along them. If you don't mind a hint, it's worth noting that (^) is already in most type systems. url:Why sum and product types? 2015-12-04
It is along the right lines, but it takes a twist on intuition to get there along them.
If you don't mind a hint, it's worth noting that (^) is already in most type systems.