annfail08.hs:9:1:
    No instance for (Data.Data.Data (a0 -> a0))
      arising from an annotation
    The type variable `a0' is ambiguous
    Possible fix: add a type signature that fixes these type variable(s)
    Possible fix:
      add an instance declaration for (Data.Data.Data (a0 -> a0))
    In the expression: (id + 1)
    In the annotation: {-# ANN f (id + 1) #-}

annfail08.hs:9:15:
    No instance for (Num (a0 -> a0))
      arising from a use of `+'
    The type variable `a0' is ambiguous
    Possible fix: add a type signature that fixes these type variable(s)
    Possible fix: add an instance declaration for (Num (a0 -> a0))
    In the expression: (id + 1)
    In the annotation: {-# ANN f (id + 1) #-}