úÎOùNoneJ is used for overloading the annotate function added by the preprocessor. Type of source location data The K function ignores types of the arguments in a function (abstraction) and A annotates the returned value based on its type. For example:  ' annotate ( x y -> x )' is equal to 'x y -> annotate x' (By default all types that do not derive  expilicitly are annotated by .  QuickAnnotate-0.5 QuickAnnotate AnnotatableannotateLoc$fAnnotatable(->)$fAnnotatableabaseGHC.Baseid