idris-0.99: test/reg076/reg076.idr

data Op = Add | Mul

binop : Op -> Integer -> Integer -> Integer
binop Add = (+)
binop Mul = (*)

doOp : Op -> IO Integer
doOp op = pure (binop op 1 2)

main : IO ()
main = doOp Add >>= print