eval (IfStat c t r) = do
  c' <- eval c
  if toBool c' then eval t else eval r
  return Nil
eval (IfStat c t r) = do
  c' <- eval c
  if toBool c' then eval t else eval r
  return Nil
eval (IfStat c t r) = do
  c' <- eval c
  if toBool c' then eval t else eval r
  return Nil