annotated gol in haskell