Monomorphizer fails on over-application

[aijony]

(coalton-toplevel
  (define (f x y)
    (+ x y))

  (declare g (Num :a => :a -> :a))
  (define g
    (f 2))

  (monomorphize)
  (declare h (Integer -> Integer))
  (define (h y)
    (g y)))

Errors with: The bounding indices 2 and COMMON-LISP:NIL are bad for a sequence of length 1.