annotate ambigues variable

Since GHC 7.8, TH expressions aren't type checked at all, so the inference
engine can't pick up the Int-constraint on nn, leading to ambiguity
errors.