A sum type again. 1 + 2 = 3 一+二=三 A product type. 一+二=王 田 = a quotient type A subtraction type 愛 - 心 = 爱(Simplified Chinese)
A sum type again.
1 + 2 = 3
一+二=三
A product type.
一+二=王
田 = a quotient type
A subtraction type
愛 - 心 = 爱(Simplified Chinese)