baharev

data Lit = Lit Int
data Add l r = Add l r

class Eval x where
  eval :: x -> Int

instance Eval Lit where
  eval (Lit x) = x

instance (Eval l, Eval r) => Eval (Add l r) where

baharev

    .file   "main.cpp"
    .text
    .p2align 4,,15
    .type   _ZL3addRKiS0_.isra.0, @function
_ZL3addRKiS0_.isra.0:
.LFB3:
    .cfi_startproc
    leal    (%rdi,%rsi), %eax
    ret
    .cfi_endproc

baharev

    .file   "main.cpp"
    .text
    .type   _ZL3addRKiS0_.isra.0, @function
_ZL3addRKiS0_.isra.0:
.LFB3:
    .cfi_startproc
    leal    (%rdi,%rsi), %eax
    ret
    .cfi_endproc
.LFE3: