some playing around still with annotations and comonad for annotations@