Discriminated Unions

Question

0918nobita opened this issue 4 years ago · comments

#33 に依存

(type UnaryOp Plus Minus)

(type Color (RGB Int Int Int))

recursive:

(type BinTree
    (Tree BinTree BinTree)
    (Leaf Int))