On Thu, Sep 18, 2014 at 11:02 AM, flicky frans <flickyfrans@gmail.com> wrote:

Plus a b :: (result :: Nat)

That looks quite unintuitive to me, since `result' reads like a
variable of type Nat.

But isn't that exactly what it is supposed to be?

-Brent