haskell-annotated generate code