annfail08.hs:9:1:
    No instance for (Data (a0 -> a0))
      (maybe you haven't applied a function to enough arguments?)
      arising from an annotation
    In the annotation: {-# ANN f (id + 1) #-}

annfail08.hs:9:15:
    No instance for (Num (a0 -> a0))
      (maybe you haven't applied a function to enough arguments?)
      arising from a use of ‘+’
    In the annotation: {-# ANN f (id + 1) #-}