#744 kir Comment 744 I know, what the exponent type is. The big fat hint is: (a^b) is when for each value of type "a" you get a "b" as set of values. url:Why sum and product types? 2015-12-05
I know, what the exponent type is. The big fat hint is: (a^b) is when for each value of type "a" you get a "b" as set of values.