Алгебраический тип данных в Haskell

Question

Я пытаюсь написать простой тип данных для математических выражений. Код я прямо сейчас:

data Expr 
    = Num Double 
    | Add Expr Expr 
    | Mul Expr Expr 
    | Sin Expr 
    | Cos Expr 
    | X 
    deriving Eq 

Это работает, как ожидалось, но я хочу, чтобы сделать его проще только одна линия для бинарных операторов (Добавить и Mul) и один для унарные (Sin и Cos). Какие-либо предложения?

Answer 1

Вы можете использовать, например,

data BinOp = Add | Mul 
data UnaryOp = Sin | Cos 

data Expr 
    = Num Double 
    | Binary BinOp Expr Expr 
    | Unary UnaryOp Expr 

YMMV ли это проще.