[Haskell-beginners] what type is 'Val 9' when 'Val Int' a ctor for 'Expr e'?

[Jason Dusek]

  Can you explain why you think you need that annotation? I
  can't see an ambiguous interpretation of your code.

--
_jsn